Properties (55)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:awardedBy |
gptkb:EATCS_Award
|
| gptkbp:birthPlace |
gptkb:Vienna,_Austria
|
| gptkbp:fieldOfStudy |
Computer Science
Electrical Engineering Mathematics |
| gptkbp:hasGoals |
gptkb:University_of_California,_Berkeley
|
| gptkbp:hasPublications |
A Survey of Timed Automata
The Temporal Logic of Reactive Systems Model_Checking_of_Infinite_State_Systems The_Reactive_Synthesis_Problem Theorem_Proving_in_Higher_Order_Logics |
| gptkbp:hasResearchInterest |
gptkb:Hybrid_Systems
gptkb:Quantum_Computing gptkb:Cyber-Physical_Systems Artificial Intelligence Bioinformatics Formal Verification Game Theory Machine Learning Modeling Numerical Analysis Optimization Programming Languages Real-Time Systems Security Simulation Software Engineering Computational Complexity Distributed Systems Information Theory Mathematical Logic Privacy Systems Biology Verification Automata Theory Computational Biology Concurrency Graph Theory Network Theory Computational Geometry Software Testing Model Checking Algorithms Statistical Learning Data_Science Algorithm_Design Temporal_Logic |
| https://www.w3.org/2000/01/rdf-schema#label |
Thomas Henzinger
|
| gptkbp:influencedBy |
gptkb:Edmund_M._Clarke
gptkb:David_L._Parnas gptkb:Leslie_Lamport |
| gptkbp:knownFor |
Embedded Systems
Formal Methods Model Checking |
| gptkbp:worksAt |
gptkb:Institute_of_Science_and_Technology_Austria
|