Quentin Carbonneaux

first name dot c9x @gmail.com

This is my old academic page hosted by Yale University. I now work as software engineer in Google Brain. I completed my PhD studies in August 2017 at Yale University where my advisor was Professor Zhong Shao.

If you are interested in the analysis of the resource usage of low-level programs (e.g., to verify embedded systems, or improve your developers' static analysis toolkit), you should take a look at my dissertation.

My interests range from low level system design and hacking to logic, proof assistants and algebra. I like to talk about bits and bytes in sound mathematical frameworks. I spend a good amount of free time writing compilers of any kind. My personal website contains lots of non-work-related goodies.

News

Publications

Teaching at Yale & Service