jtristan.github.io - Jean-Baptiste Tristan

home > domains > jtristan.github.io

Example domain paragraphs

[email protected]

I do research in formal verification, machine learning, language -->

Hosted on GitHub Pages — Theme by orderedlist

Links to jtristan.github.io (4)

• jwvdm.github.io Jan-Willem van de Meent
• compcert.org CompCert - Main page
• xavierleroy.org Xavier Leroy - Home page
• cfreer.org Cameron Freer