Concepedia

Author

Will Dormann

Carnegie Mellon University

Also Known As

Dormann, Will, Will Dormann

4

Publications

37

Citations

2

H-Index

14

Concepts

All Affiliations

Carnegie Mellon University
WD

About

Will Dormann is an author at Carnegie Mellon University specializing in system software, formal methods, and discrete mathematics.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

29

2

Computer Engineering

1

1

29

3

Computer Science

1

1

29

4

Compilers

1

1

29

5

Software Analysis

1

1

29

Will Dormann

×

1

Publications

29

Citations

1

H-Index

YearCitations

Page 1