Javier Esparza
E900201
Javier Esparza is a prominent computer scientist known for his influential work in formal methods, model checking, and the theory of concurrent and distributed systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Javier Esparza canonical | 1 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ |
| affiliation | Technical University of Munich Department of Informatics NERFINISHED ⓘ |
| fieldOfWork |
concurrent systems
ⓘ
distributed systems ⓘ formal methods ⓘ model checking ⓘ theoretical computer science ⓘ |
| hasAcademicDiscipline | computer science ⓘ |
| hasAcademicRole |
doctoral advisor
ⓘ
research group leader ⓘ |
| hasActivity |
giving invited talks on model checking and concurrency
ⓘ
publishing research in top computer science venues ⓘ serving on program committees of conferences in formal methods ⓘ supervising PhD students ⓘ teaching graduate courses in formal methods ⓘ |
| hasEmployer | Technical University of Munich NERFINISHED ⓘ |
| hasHIndex | high citation impact in formal methods and model checking ⓘ |
| hasNotableStudent | doctoral students in formal methods ⓘ |
| hasPublicationType |
book chapters
ⓘ
conference papers ⓘ journal articles ⓘ |
| hasResearchArea |
formal verification
ⓘ
logic in computer science ⓘ program analysis ⓘ |
| influencedBy |
research in automata theory
ⓘ
research in concurrency theory ⓘ |
| isAlive | true ⓘ |
| knownFor |
research on distributed systems theory
ⓘ
work on formal verification of concurrent systems ⓘ work on model checking ⓘ |
| languageSpoken |
English
ⓘ
Spanish ⓘ |
| memberOf | computer science research community ⓘ |
| nationality | Spanish ⓘ |
| notableContribution |
applications of automata theory to model checking
ⓘ
theory of verification for concurrent and distributed systems ⓘ |
| occupation |
researcher
ⓘ
university professor ⓘ |
| positionHeld | professor of computer science ⓘ |
| researchInterest |
Petri nets
NERFINISHED
ⓘ
automata theory ⓘ concurrency theory ⓘ temporal logic ⓘ verification of infinite-state systems ⓘ |
| workLocation | Munich NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.