Amir Hossein Akbar Tabatabai

Select a contact:


M.Sc. student, Department of Mathematical Sciences, Sharif University of Technology

Tehran Iran

Contact Form

Send an email. All fields with an * are required.

Other information

Other information:

About me:

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