POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Jan-Paul Ramos-Davila

Registered user since Tue 17 Jan 2023

Name:Jan-Paul Ramos-Davila

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
Research interests:PL theory, Formal verification


Show activities from other conferences

POPL 2024-profile
View general profile