Formal verification
My research interests lie in programming languages, and in particular, in formal verification of software using dependently-typed languages.
Valentin Robert University of California, San Diego
Welcome! This blog is about my research at UCSD, as well as some random thoughts about programming languages and proof assistants.