Write a Blog >>
Quentin Carbonneaux

Not registered as user yet

Name:Quentin Carbonneaux
Bio:

I am fourth year PhD candidate at Yale University under the direction of Professor Zhong Shao; I am a member of the FLINT research group whose focus is now on formal verification of operating systems. 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.

Affiliation:Yale University
Personal website: http://cs.yale.edu/~qcar

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile