Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:University_of_Munich
gptkb:University_of_Zaragoza |
| gptkbp:awardReceived |
gptkb:ERC_Advanced_Grant
gptkb:Fellow_of_the_European_Association_for_Theoretical_Computer_Science |
| gptkbp:birthYear |
1962
|
| gptkbp:doctoralAdvisor |
Wolfgang Reisig
|
| gptkbp:employer |
gptkb:Technical_University_of_Munich
|
| gptkbp:field |
automata theory
computer science theoretical computer science formal verification concurrency theory model checking |
| https://www.w3.org/2000/01/rdf-schema#label |
Javier Esparza
|
| gptkbp:nationality |
gptkb:Spanish
|
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:bfsParent |
gptkb:Navarra_Suma
gptkb:Navarrese_People's_Union gptkb:Unión_del_Pueblo_Navarro |
| gptkbp:bfsLayer |
8
|