Jan-Paul Vincent Ramos-Dávila
Ciao! I'm a Sophomore at Cornell University working towards degrees in Computer Science & Philosophy. My
main research interests involve developing practical tools for software verification using both formal &
lightweight methods.
I conduct research with Dr. Jonathan Aldrich & Dr. Joshua Sunshine along with their graduate students ( 1 | 2 ) on a gradual verifier that leverages partial specifications for scalability in specification-driven verification at Carnegie Mellon University.
I conduct research with Dr. Jonathan Aldrich & Dr. Joshua Sunshine along with their graduate students ( 1 | 2 ) on a gradual verifier that leverages partial specifications for scalability in specification-driven verification at Carnegie Mellon University.
--<-<<+[+[<+>--->->->-<<<]>]<<--.<++++++.<<-..<<.<+.>>.>>.<<<.+++.>>.>>-.<<<+.
Publications
* indicates equal contribution
Evaluating Soundness of a Gradual Verifier with Property Based Testing
Jan-Paul Ramos-Dávila
Cool Projects
Incremental Specification Mining: Using Regression Testing in Selective Spec Mining
Kate Meuse, Jan-Paul Ramos-Dávila
RNAfoldml: An OCaml package for predicting RNA secondary structure
Diffeq-lang: DSL for solving differential equations
Benjamin Philippe, Jan-Paul Ramos-Dávila
Ladbot: A discord bot whose purpose is to entertain those who are bored.
Benjamin Philippe, Jan-Paul Ramos-Dávila, Sina
