SPLASH 2023 (series) / Jan-Paul Ramos-Davila
![Jan-Paul Ramos-Davila](https://2023.splashcon.org/getProfileImage/janpaulramosdavila/303f7977-27ea-47f5-9213-979bb02082c7/small.jpg?1713123430000)
Registered user since Tue 17 Jan 2023
Name:Jan-Paul Ramos-Davila
Bio:
I’m an undergrad @ Cornell University working towards computer science and philosophy degrees. My main research goals involve developing practical tools for software verification in general and domain-specific cases through programming language theory.
Country:United States
Affiliation:Cornell University
Personal website: https://jpramos.me
X (Twitter): https://x.com/JanPaulV
GitHub: https://github.com/jpramos-me
Research interests:PL theory, Formal verification
Contributions
2023
SPLASH 2023-profile
View general profile
View general profile