Valentin Robert

PhD Student
Computer Science and Engineering
University of California, San Diego

Curriculum Vitae



Blog posts


Apprendre Haskell vous fera le plus grand bien, my French translation of Learn You a Haskell for Great Good, by Miran Lipovaca.

I once attempted to explain coinduction to my coworkers.

I gave my research examination on the subject of proof-assistant-based verification of programs.

profile for Ptival on Stack Exchange, a network of free, community-driven Q&A sites