Write a Blog >>
Quentin Carbonneaux

Not registered as user yet

Name:Quentin Carbonneaux

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 within the Artifact Evaluation-track
Show activities from other conferences

POPL 2016-profile
View general profile