I am a Ph.D. student at Boston University studying Type Thoery and Formal Logic under supervision of Professor Marco Gaboardi.
I am interested in both Mathematics and Computer Science, especially in Logic, Type Thoery, Category Thoery. Currently I am focusing on linear logic, multirole logic, and the categorical semantics for these logics.
- Signal: My prefered IM is signal. Unfortunately signal needs me to share my phone number, so contact me via email or telegram first.
- Email: I believe you can figure out my email address.