I am a postdoctoral researcher in the Department of Computer Science at Cornell University, working with Prof. Alexandra Silva. I received my Ph.D. in Computer Science from Boston University, advised by Prof. Hongwei Xi. My research interests lie in programming languages, type systems, and verification.

These days research is mainly focused on the design of languages and type systems that tackle issues in memory safety and concurrency as well as the development of novel language features that aid programmer productivity and reasoning. A common thread between my works is that they are guided by ideas from substructural logics while also drawing influences from other areas such as dependent type theory, session types, probabilistic programming, etc.