David Menendez

Ph.D. student in Computer Science at Rutgers University.

davemm@cs.rutgers.edu
CoRE 329
96 Frelinghuysen Road
Piscataway, NJ 08854

About

My research focuses on applying light-weight formal methods to software verification, especially compiler correctness. I work with Professor Santosh Nagarakatte in the RAPL group.

Publications

Projects


David Menendez