Paaras Padhiar

I am a PhD student in the School of Computer Science at the University of Birmingham under the supervision of Sonia Marin and Vincent Rahli.

I obtained my MMath in Mathematics from the University of Warwick in 2022.

My research interests lie in Proof Theory and Modal Logic. I am particularly interested in Justification Logic and Intuitionistic Modal Logics.

Research

Justification Logic for Intuitionistic Modal Logic. [pdf] [doi]
With Sonia Marin. In Proceedings of TABLEAUX 2025.

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report). [pdf] [arxiv]
With Sonia Marin. 2025.
Nested Sequents for Quasi-transitive Modal Logics. [pdf] [arxiv]
With Sonia Marin. 2024.

Justification logic for intuitionistic modal logic. [abstract]
With Sonia Marin. Contributed talk at the 7th meeting of the Proof Society. Ghent, Belgium. September 2025.
Nested sequents for quasi-transitive modal logics. [abstract]
With Sonia Marin. Contributed talk at the 6th meeting of the Proof Society. Birmingham, United Kingdom. September 2024.
Nested Proof Theory for Quasi-Transitive Modal Logics. [abstract]
With Sonia Marin. Short presentation at Advances in Modal Logic. Prague, Czech Republic. August 2024.

LC Mathematical and Logical Foundations of Computer Science (2025/26).
University of Birmingham (BSc/MSci Computer Science). Teaching Assistant.
LC Theories of Computation (2024/25).
University of Birmingham (BSc/MSci Computer Science). Teaching Assistant.
LC Theories of Computation (2023/24).
University of Birmingham (BSc/MSci Computer Science). Teaching Assistant.
LC Mathematical and Logical Foundations of Computer Science (2023/24).
University of Birmingham (BSc/MSci Computer Science). Teaching Assistant.
MA106 Linear Algebra, MA131 Analysis I and II, MA132 Foundations, MA133 Differential Equations, MA134 Geometry and Motion and MA136 Introduction to Abstract Algebra (2021/22).
University of Warwick (BSc/MMath Mathematics). Undergraduate Supervisor.