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 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2016-profile
View general profile