Jean-Baptiste Tristan

jean.baptiste.tristan@gmail.com

CV

LinkedIn

dblp

Scholar

I am a researcher at Oracle Labs (formerly Sun Labs) in Boston. Previously, I was a post-doctoral fellow at Harvard University and a Ph.D. student at INRIA. My research interests include scalable machine learing, programming languages, probabilistic programming, and formal verification.

I wrote my Ph.D. dissertation on the topic of formally verified translation validators.

Selected Publications