Michael E. Ernst

URI: https://gptkb.org/entity/Michael_E._Ernst
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Massachusetts_Institute_of_Technology
gptkb:Stanford_University
gptkbp:awardReceived gptkb:ACM_Fellow
gptkb:NSF_CAREER_Award
gptkbp:doctoralAdvisor gptkb:David_Notkin
gptkbp:employer gptkb:University_of_Washington
gptkbp:field computer science
https://www.w3.org/2000/01/rdf-schema#label Michael E. Ernst
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Daikon_(dynamic_invariant_detection_tool)
gptkbp:occupation gptkb:computer_scientist
gptkbp:position gptkb:professor
gptkbp:researchInterest software engineering
testing
verification
program analysis
gptkbp:bfsParent gptkb:Applied_Therapeutics:_The_Clinical_Use_of_Drugs
gptkbp:bfsLayer 8