Concepedia

Author

Mark Seigle

University of Washington

Also Known As

Mark Seigle

4

Publications

637

Citations

4

H-Index

13

Concepts

All Affiliations

University of WashingtonMicrosoft Research (United Kingdom)
MS

About

Mark Seigle is an author at University of Washington specializing in formal verification, compilers, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

615

2

Computer Engineering

3

3

615

3

Computer Science

3

3

615

4

Compilers

3

3

615

5

Software Analysis

3

3

615

Mark Seigle

×

3

Publications

615

Citations

3

H-Index

YearCitations

Page 1