John V. P. van de Snepscheut
GPTKB entity
Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:birthDate |
1953-09-12
|
| gptkbp:causeOfDeath |
gptkb:murder
|
| gptkbp:deathDate |
1994-02-23
|
| gptkbp:doctoralAdvisor |
gptkb:Willem_L._van_der_Poel
|
| gptkbp:employer |
gptkb:California_Institute_of_Technology
gptkb:Eindhoven_University_of_Technology |
| gptkbp:field |
computer science
formal methods |
| gptkbp:fullName |
gptkb:Johannes_van_de_Snepscheut
|
| https://www.w3.org/2000/01/rdf-schema#label |
John V. P. van de Snepscheut
|
| gptkbp:knownFor |
teaching at Caltech
work in formal specification and verification |
| gptkbp:nationality |
Dutch
|
| gptkbp:notableWork |
gptkb:Proxac_theorem_prover
|
| gptkbp:occupation |
gptkb:computer_scientist
gptkb:professor |
| gptkbp:placeOfBirth |
gptkb:Netherlands
|
| gptkbp:placeOfDeath |
gptkb:Pasadena,_California,_United_States
|
| gptkbp:spouse |
gptkb:Marianne_van_de_Snepscheut
|
| gptkbp:bfsParent |
gptkb:ALGOL_68
|
| gptkbp:bfsLayer |
6
|