I am a fifth year PhD student at Carnegie Mellon University in the Pure and Applied Logic program, advised by Frank Pfenning. My current research is 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 .
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.