Name Monika Henzinger | ||
![]() | ||
Similar People Thomas A Henzinger, Sergey Brin, David Drummond, Larry Page, Eric Schmidt |
Upper and Lower Bounds for Graph Problems in Computer Aided Verification
Monika Henzinger (born as Monika Rauch, 17 April 1966 in Weiden in der Oberpfalz) is a German computer scientist, and is a former director of research at Google. She is currently a professor at the University of Vienna. Her expertise is mainly on algorithms with a focus on data structures, algorithmic game theory, information retrieval, search algorithms and Web data mining. She is married to Thomas Henzinger and has three children.
Contents
- Upper and Lower Bounds for Graph Problems in Computer Aided Verification
- Wie leben wir in der digitalen Zukunft Informatikerin Monika Henzinger antwortet
- Career
- Awards
- Selected publications
- References

Wie leben wir in der digitalen Zukunft? Informatikerin Monika Henzinger antwortet
Career

She completed her PhD in 1993 from Princeton University under the supervision of Robert Tarjan. She then became an assistant professor of computer science at Cornell University, a research staff at Digital Equipment Corporation, an associate professor at the University of the Saarland, a director of research at Google, and a full professor of computer science at École Polytechnique Fédérale de Lausanne. She is currently a full professor of computer science at the University of Vienna, Austria.
Awards

Selected publications
