
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
Twitter:https://twitter.com/JanPaulV
GitHub:https://github.com/jpVinnie
Research interests:PL theory, Formal verification
Contributions
POPL 2023 | Evaluating Soundness of a Gradual Verifier with Property Based Testing | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile