Michael Ernst

E822877

Michael Ernst is a computer scientist known for his work in software engineering and programming languages, including research on type systems and software reliability.

All labels observed (1)

Label Occurrences
Michael Ernst canonical 1

How this entity was disambiguated

Statements (26)

Predicate Object
instanceOf computer scientist
researcher
fieldOfWork program analysis
programming languages
software engineering
software reliability
software specification
software testing
static analysis
type systems
genre scientific research
knownFor research on program analysis
research on software reliability
research on software specification
research on software testing
research on static analysis
research on type systems
work in programming languages
work in software engineering
languageOfWorkOrName English
notableWork research on software specifications and contracts
research on software testing methodologies
research on static analysis techniques for software
research on type systems for improving software reliability
occupation academic
computer scientist

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Craig Chambers notableStudent Michael Ernst