Thomas Bourgeat

PhD candidate CSAIL, MIT
advised by Arvind (CSG) and Adam Chlipala (PLV)
32 Vassar Street, G885, Cambridge, MA, 02139
Email: bthom@csail.mit.edu

I do research in constructive computer architecture, programming languages and formal methods for hardware design. CV at 03/2021.

Publications