Valentin Robert
Research Engineer at UC San Diego
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolValentin Robert is a research engineer with 15 years of experience bridging formal methods and practical tooling, currently based in Portland and working at Galois while pursuing graduate research at UC San Diego. He specializes in programming languages and software verification, with a track record of formally verified compiler and assembler/linker work from INRIA and a formalization of x86 at Microsoft Research. Valentin contributes to notable open-source projects like Doom Emacs, where he added language support for Elm, PureScript, and OCaml, reflecting both deep theoretical knowledge and hands-on engineering. His background combines an ENSEIRB-MATMECA engineering diploma with real-world systems experience in safety-critical domains such as avionics, revealing a pattern of making rigorous research applicable to production-grade tools.
15 years of coding experience
1 year of employment as a software developer
University of California, San DiegoEngineering Diploma, Computer Science, Engineering Diploma, Computer Science at ENSEIRB-MATMECA
French, English, Spanish
Stackoverflow
9,337reputation
332kreached
160answers
20questions
logic
top-5%
Github Skills (16)
purescript10
emacs10
elm10
spacemacs10
ocaml10
emacs-lisp10
logic9
haskell7
theorem-proving6
transactional-memory6
dependent-types6
agda6
coq6
type-theory6
idris6
Programming languages (26)
Github contributions (5)
doomemacs/doomemacs
May 2017 - Sep 2017
An Emacs framework for the stubborn martian hacker
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:6 commits, 9 PRs, 34 comments in 3 months
Contributions summary:Valentin primarily focused on adding support for different programming languages within the Emacs framework, particularly for Elm, PureScript, and OCaml. Their contributions involved creating configuration files, defining package dependencies, and integrating language-specific tools like `flycheck` and `company`. The user also made minor improvements to existing language integrations, such as fixing a mode-map name for Haskell.
vimemacs-configurationmartianemacsemacs-lsp
Ptival/lyah-fr
Aug 2011 - Feb 2020
Contributions:143 commits, 1 PR, 11 pushes in 8 years 7 months
french-translationtranslationhaskellgreatfrench
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.