Thomas A. Henzinger is affiliated with the Institute of Science and Technology Austria. Their primary research domain is Computer Science, with a strong focus on Artificial Intelligence and Computational Theory and Mathematics. The scope of study also includes Computer Networks and Communications, Hardware and Architecture, and Molecular Biology.
The scientist's research topics cover a range of areas including Formal Methods in Verification, Adversarial Robustness in Machine Learning, Security and Verification in Computing, Logic, programming, and type systems, Petri Nets in System Modeling, Machine Learning and Algorithms, and Fault Detection and Control Systems.
Recent papers by Thomas A. Henzinger include:
Frequent co-authors of the scientist are:
Notable publication venues include:
Over the course of their career, Thomas A. Henzinger has received multiple awards and honors including:
T.A. Henzinger
Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger
Rajeev Alur;Thomas A. Henzinger;Orna Kupferman
Thomas A. Henzinger;Pei-Hsin Ho;Howard Wong-Toi
Thomas A. Henzinger;Xavier Nicollin;Joseph Sifakis;Sergio Yovine
Rajeev Alur;Costas Courcoubetis;Thomas A. Henzinger;Pei-Hsin Ho
Luca de Alfaro;Thomas A. Henzinger
Thomas A. Henzinger;Shankar Sastry
Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Grégoire Sutre
Thomas A. Henzinger
R. Alur;T.A. Henzinger;G. Lafferriere;G.J. Pappas
Thomas A. Henzinger;Benjamin Horowitz;Christoph Meyer Kirsch
Rajeev Alur;Thomas A. Henzinger
Rajeev Alur;Thomas A. Henzinger
R. Alur;T.A. Henzinger;Pei-Hsin Ho
Rajeev Alur;Tomás Feder;Thomas A. Henzinger
Rajeev Alur;Thomas A. Henzinger
Dirk Beyer;Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar
R. Alur;T.A. Henzinger
Thomas A. Henzinger;Peter W. Kopke;Anuj Puri;Pravin Varaiya
T.A. Henzinger;Pei-Hsin Ho;H. Wong-Toi
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science in the USA also opens doors to a range of related fields through flexible online degrees. If you want to earn your degree faster, consider an accelerated cs degree. These programs are designed for motivated learners eager to fast-track their education and quickly step into the tech industry.
For students interested in sustainability and technology’s role in solving environmental challenges, an environmental engineering online degree might be a perfect fit. This path combines engineering with ecological awareness to create practical solutions for a greener future.
Those drawn to the mechanics behind devices, vehicles, and machinery can pursue an online degree for mechanical engineering, developing highly marketable skills in product design and innovation.
If you prefer to dive deep into the fundamental laws of nature, an online theoretical physics degree offers another dynamic and rigorous career pathway. These online programs provide flexibility, affordability, and access to cutting-edge curricula from the comfort of your home.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 95
Tsinghua University
University of Agriculture Faisalabad
University of Nebraska–Lincoln
Birkbeck, University of London
University of South Carolina
Hebrew University of Jerusalem
University of Glasgow
Langley Research Center
University of York
University of Lorraine
KU Leuven
Huazhong University of Science and Technology
Kyoto University
Radboud University
University of Alberta
Mayo Clinic
