I am a Postdoctoral researcher working with Dr. Limin Jia and Dr. Stephanie Balzer at Carnegie Mellon Security and Privacy Institute (CyLab). I am interested in verifying the safety and security of concurrent programs using formal techniques.
I received my Ph.D. in Pure and Applied Logic at Carnegie Mellon University, advised by Prof. Frank Pfenning. My Ph.D. dissertation was focused on the computational interpretation of substructural logics. Particularly, I worked on circular proofs and their correspondence with recursive and co-recursive session-typed processes.
Before coming to CMU, I worked on the uniform interpolation property in different non-classical logics including substructural logics and provability logic .
Apart from doing and teaching logic, I enjoy watching movies, reading books, and travelling.
Feel free to get in touch by email, if you are also excited about these topics.