Michael Huth

URI: https://gptkb.org/entity/Michael_Huth
GPTKB entity
Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:coauthor gptkb:Mark_Ryan
gptkbp:employer gptkb:Imperial_College_London
gptkbp:field gptkb:logic
gptkb:security
computer science
https://www.w3.org/2000/01/rdf-schema#label Michael Huth
gptkbp:nationality gptkb:German
gptkbp:notableWork gptkb:Logic_in_Computer_Science:_Modelling_and_Reasoning_about_Systems
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Emmi_Peltonen
gptkbp:bfsLayer 5