Headshot of Quentin Carbonneaux
Headshot of Quentin Carbonneaux


Quentin Carbonneaux

Research Scientist - Core Systems

I am a Research Scientist working on core programming language infrastructure. I contribute language features and static analyses helping solve real business problems such as developer efficiency and privacy. I also work on spreading the use of formal verification where it can make difference (privacy guarantees, system modelling & design, critical low-level algorithms).

Latest Publications

No items found