Valentin Robert's Picture

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.

Formal verification

My research interests lie in programming languages, and in particular, in formal verification of software using dependently-typed languages.


You can find my research on GitHub.


You might have seen me answer questions on StackOverflow.