Registered user since Tue 17 Jan 2023
Name:Jan-Paul Ramos-Davila
Bio:
I’m a PhD student in the POPV research group at Boston University, co-advised by Ankush Das and Marco Gaboardi. I develop type systems to guarantee behavioral soundness while easing the need/complexity of directly mechanizing code.
Country:United States
Affiliation:Boston University
Personal website: https://janpaul.pl
X (Twitter): https://x.com/JanPaulPL
GitHub: https://github.com/janpaulpl
Research interests:Type Systems, Automated Reasoning, Formal Verification
Contributions
Using general profile