Skip to content

Scientist · Computer Science

Thomas A. Henzinger

AIT Austrian Institute of Technology GmbH, Vienna, Austria

iD0000-0002-2985-7724

Citations, last 5 years: 321
Works, last 5 years: 124
h-index: 100
Citations, all time: 45.6k
In Computer Science: #34,652

Research topics

Formal Methods in Verification765Computer Science
Logic, programming, and type systems420Computer Science
semigroups and automata theory290Computer Science
Petri Nets in System Modeling264Computer Science
Software Testing and Debugging Techniques133Computer Science

Recent works

Discussion

Ask Thomas about their research. When the scientist claims this card, they will see your question.

Start a discussion