Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliation |
gptkb:CNRS
|
| gptkbp:contribution |
Model checking
Software verification Static analysis |
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
David Monniaux
|
| gptkbp:knownFor |
Formal methods
|
| gptkbp:nationality |
French
|
| gptkbp:profession |
Mathematician
|
| gptkbp:researchAreas |
Computer Science
|