Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:hasContent |
gptkb:Michael_Huth
gptkb:David_Parker |
| gptkbp:hasFieldOfUse |
Artificial Intelligence
Computer Science Mathematics |
| gptkbp:hasGoals |
gptkb:University_of_Cambridge
|
| gptkbp:hasNationality |
German
|
| gptkbp:hasPublications |
Automated Reasoning
Bounded Model Checking Program Analysis Satisfiability Modulo Theories |
| gptkbp:hasResearchInterest |
Model Checking
Software Verification |
| https://www.w3.org/2000/01/rdf-schema#label |
Daniel Kroening
|
| gptkbp:knownFor |
Formal Methods
|
| gptkbp:worksAt |
gptkb:University_of_Oxford
|