Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:academicAdvisor |
Various PhD students
|
| gptkbp:affiliation |
gptkb:Australian_National_University
|
| gptkbp:collaboratedWith |
Various researchers in the field
|
| gptkbp:contribution |
Developing verification techniques
|
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Henk van der Meyden
|
| gptkbp:knownFor |
Research in formal methods
|
| gptkbp:nationality |
Dutch
|
| gptkbp:publishes |
Numerous research papers
|
| gptkbp:researchInterest |
Logic in Computer Science
|