Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:Saarland_University
|
| gptkbp:birthYear |
1953
|
| gptkbp:contribution |
Formal Methods
Software Verification Static Analysis |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Reinhard Wilhelm
|
| gptkbp:knownFor |
Compiler Construction
|
| gptkbp:nationality |
German
|
| gptkbp:researchAreas |
Programming Languages
|