40 Jahre Informatik in München - Fakultät für Informatik - TUM

Professur I-7 für Theoretische Informatik
Helmut Veith
Helmut Veith
5. Februar 1971, Wien
österreichisch
Dipl.-Ing. Dr. techn.
Dissertation: Succinct Representation and
the Complexity of Logics and
Database Query Languages
http://www.model.in.tum.de/
Beruflicher Werdegang:
Apr 1995 – Aug 2001 Univ-Assistent, TU Wien
Jan 1998 Rigorosum mit Auszeichnung, TU Wien
Jul 1999 – Sep 2000 Visiting Scientist, Carnegie Mellon University
Mär 2001 Habilitation, TU Wien
Sep 2001 – Jul 2003 Ao. Univ. Professor, TU Wien
Aug 2003 – Professor (C3), Informatik, TU München
Preise und Auszeichnungen:
1998 Würdigungspreis des Wissenschaftsministeriums,
Österreich
1999 Promotion sub auspiciis praesidentis durch den
österreichischen Bundespräsidenten
1999 Max Kade Stipendiat
2003 ACM SIGSOFT Distinguished Paper Award
Neben- und ehrenamtliche Tätigkeiten:
Aug 2005 – Adjunct Full Professor, School of Computer
Science, Carnegie Mellon University
Sep 2000 – Mehrmalige Aufenthalte als Visiting Scientist,
Carnegie Mellon University
Aug 1998 – Sep 1998 Visiting Scientist, Akademie d. Wiss., Moskau
Jun 1996 – Aug 1996 Visiting Student, Cornell University
Sep 1994 – Dez 2003 Chairman, int. Vortragsserie Collegium Logicum
Sep 1994 – Vorstandsmitglied, Kurt-Gödel Gesellschaft
320