M.Sc. student, Department of Mathematical Sciences, Sharif University of Technology
I am currently an M.Sc. student at the Department of Mathematical Sciences in Sharif University of Technology. I am working on Generalized Proof Theory and Realizability Semantics for Intuitionistic and modal logics, under the supervision of professor M. Ardeshir.
Fields of Interests:
• Proof Theory and Constructive Semantics • Recursion Theory and Implicit Computational Complexity • Philosophical Logics • Constructive Mathematics • Philosophy of Mathematics