I am a fourth year PhD student at Carnegie Mellon University in the Pure and Applied Logic program, advised by Frank Pfenning. My current research is mainly on the computational interpretation of substructural logics. Particularly, I am working on circular proofs and their correspondence with recursive and co-recursive processes in the session types.
Before coming to CMU, my research focus was on the uniform interpolation property in different non-classical logics including substructural logics and provability logic .
For my B.Sc. and M.Sc. I studied Computer Science at University of Tehran. I am also a Medical Doctor, and obtained my M.D. degree from Tehran University of Medical Sciences. (I'm 30, not that old yet!)
Apart from doing and teaching logic, I truly enjoy watching movies, reading books, and travelling.
Feel free to get in touch by email, if you are also excited about these topics.