Concepedia

Author

Quentin Carbonneaux

Yale University

Also Known As

Carbonneaux, Quentin, Quentin Carbonneaux

13

Publications

396

Citations

10

H-Index

22

Concepts

All Affiliations

Yale UniversityCarnegie Mellon University
QC

About

Quentin Carbonneaux is an author at Yale University specializing in computer science, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Computer Science

8

8

315

2

Engineering

7

7

301

3

Computer Engineering

3

3

115

4

Systems Engineering

2

2

105

5

Compilers

2

2

68

Quentin Carbonneaux

×

9

Publications

353

Citations

9

H-Index

YearCitations

Page 1