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

POPL 2016 Activities

POPL 2016-profile
View general profile