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||Committee Member in Artifact Evaluation committee|
|Show activities from other conferences|
View general profile