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 ⓘ