Leopoldina Menü

Leopoldina Home

Mitglieder

Mitgliederverzeichnis | Expertensuche

Suchen Sie unter den Mitgliedern der Leopoldina nach Expertinnen und Experten zu Fachgebieten oder Forschungsthemen. Über die Eingabe und Auswahl im Feld „Name“ gelangen Sie durch Klick auf „Suchen“ direkt zu einem Mitgliedsprofil. Mit der Eingabe und Auswahl in den Feldern „Stadt“ und „Land“ können Sie Ihre Suche lokal oder regional begrenzen, oder Sie suchen nur in bestimmten Sektionen der Leopoldina. Alternativ oder in Kombination ist eine Volltextsuche in allen Mitgliedsprofilen möglich – dazu verwenden Sie das obere Eingabefeld. In der Volltextsuche sind Operatoren wie AND, NOT oder * erlaubt. Sie können also beispielsweise nach „Genetik“ suchen oder nach „*genet*“, um auch Ergebnisse mit „genetische“ oder „Molekulargenetik“ zu erhalten. Für eine neue Suche klicken Sie bitte auf den nachfolgenden Link oder verwenden Sie direkt die Volltextsuche in der rechten Randspalte.

Neue Suche

Prof. Dr.

Monika Henzinger

Wahljahr: 2014
Sektion: Informationswissenschaften
Stadt: Wien
Land: Österreich
CV Monika Henzinger - Deutsch (pdf)

Forschung

Forschungsschwerpunkte: Algorithmen, Algorithmische Spieltheorie, Datenstrukturen, Suchmaschinen

Monika Henzinger ist Informatikerin. Sie entwickelt und erforscht Algorithmen für Computer, insbesondere Optimierungs‐ und Graphalgorithmen. Außerdem beschäftigt sie sich mit der algorithmischen Spieltheorie und der computergestützten Verifikation.

Ein Computer braucht für jeden Rechenvorgang, für jede Aufgabe, die er erledigen soll, einen Algorithmus – eine Handlungsanweisung zur Lösung eines Problems. Ein Algorithmus setzt sich aus vielen Einzelschritten zusammen. Jeder Schritt führt zu einem bestimmten nächsten Schritt. Mit Graphen wiederum wird das Verhältnis zwischen Daten modelliert. Graphalgorithmen spielen in sozialen Netzwerken eine große Rolle, da über Graphen Elemente mit Verbindungen repräsentieren können. Die Verbindungen verändern sich in sozialen Netzwerken aber ständig, und dadurch verändern sich auch ständig die Graphen. Ein Algorithmus muss aber trotzdem eine Suchanfrage, zum Beispiel nach einer bestimmten Nutzergruppe innerhalb des Netzwerks, fehlerfrei und schnell lösen. Monika Henzinger entwickelt Graphalgorithmen, aber auch Algorithmen für computergestütztes Suchen nach komplexen Inhalten (Information Retrieval) und Web-Data Mining. Beim Data Mining werden in großen Datenmengen neue Querverbindungen gesucht.

In weiteren Forschungsarbeiten beschäftigt sie sich mit Werbung im Internet, speziell mit sogenannten Sponsored Search-Auktionen. Mit diesen Auktionen wird bei jeder Suchanfrage bestimmt, welche Werbung zusammen mit den Suchergebnissen dem Benutzer angezeigt wird. Um optimale Strategien für Anbieter zu entwickeln, analysieren Monika Henzinger und ihr Team neue Auktionen für Suchmaschinen.

Monika Henzinger will mit ihrer Forschung Algorithmen entwickeln, die schnell und speicherplatzsparend arbeiten. Sie will dadurch auch dazu beitragen, dass Computer weniger Strom und weniger Rohstoffe verbrauchen. In ihrer Zeit bei Google war sie für die Algorithmen der Suchmaschine verantwortlich, hat diese immer wieder optimiert und hat damit den Aufstieg der Suchmaschine mitgeprägt.

Werdegang

  • seit 2011 Professorin für Computational Science, Algorithmik und Informations- und Kommunikationstechnologie, in der Forschungsgruppe „Theorie und Anwendung von Algorithmen“ und der Forschungsplattform „Computational Sciences Center“ der Universität Wien, Österreich
  • 2009-2011 Professorin für Informatik, Theorie und Anwendung von Algorithmen, am Institut für Scientific Computing der Universität Wien, Leiterin der Forschungsgruppe „Theorie und Anwendung von Algorithmen“
  • 2005-2009 Professorin für Informatik an der Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Schweiz
  • 2000-2004 Director of Research, Google Inc., USA
  • 1999 Professorin für Informatik, Universität des Saarlandes
  • 1996-1999 Wissenschaftliche Mitarbeiterin im Systems Research Center der Digital Equipment Corporation, Palo Alto, CA, USA
  • 1993‐1996 Assistenzprofessorin für Informatik, Fakultät für Informatik der Cornell University, Ithaca, NY, USA
  • 1993 Postdoc, NEC Research Center, Princeton, NJ, USA
  • 1989-1993 Promotion in Informatik, Princeton University, NJ, USA
  • 1989 Diplom in Informatik an der Universität des Saarlandes, Saarbrücken

Funktionen

  • seit 2015 Herausgeberin von Acta Informatica
  • 2015-2018 Herausgeberin von Theoretical Computer Science
  • 2014 Mitglied im President's Science and Technology Advisory Council der Europäischen Kommission
  • 2012-2019 Herausgeberin der Reihe Monographs in Theoretical Computer Science der European Association for Theoretical Computer Science (EATCS)
  • 2011-2019 Mitglied im EACTS Council
  • 2011-2014 Mitglied im „von Neumann Medal Award Committee“ des Institute of Electrical and Electronics Engineers (IEEE)
  • 2010-2014 Mitglied der Jungen Kurie der Österreichischen Akademie der Wissenschaften
  • 2010-2014 Mitglied im Kanellakis Award Committee der Association for Computing Machinery (ACM), 2013 Vorsitzende
  • 2010-2013 Mitglied im Presburger Award Committee der European Association for Theoretical Computer Science (EATCS), 2013 Vorsitzende
  • 2009‐2013 Mitglied im Editorial Board von Research Highlights of the Communications (ACM)
  • 2008-2015 Mitglied im Hochschulrat der Technischen Universität München

Projekte

  • 2016-2019 Principal Investigator: Efficient Algorithms for Computer Aided Verification
  • 2014-2019 Principal Investigator: ERC Advanced Grant
  • 2012-2016 Partner: MULTIPLEX: Foundational Research on Multilevel Complex Networks and Systems
  • 2011-2015 Co‐Investigator: Modern Graph Algorithmic Techniques in Formal Verification, in Kooperation mit Krishnendu Chatterjee / IST Austria
  • 2011-2014 Mitglied des Doktoratskollegs Computational Optimization
  • 2011-2014 Sprecherin des Doktoratskollegs Vienna Graduate School in Computational Science
  • 2010-2015 Principal Investigator: Challenges in Sponsored Search Auctions

Auszeichnungen und Mitgliedschaften

  • 2019 Carus-Medaille der Nationalen Akademie der Wissenschaften Leopoldina
  • 2018 Preis der Stadt Wien in der Kategorie „Natur- und technische Wissenschaften“
  • seit 2018 Mitglied im Österreichischen Wissenschaftsrat
  • 2018 Program Committee Chair of the 50th Annual ACM Symposium on the Theory of Computing (STOC)
  • 2017 SIGIR Test of Time Award
  • 2017-2019 Senatorin der Helmholtz-Gemeinschaft
  • seit 2017 Mitglied der Österreichischen Akademie der Wissenschaften
  • 2016 Fellow der Association for Computing Machinery (ACM)
  • seit 2014 Mitglied der Nationalen Akademie der Wissenschaften Leopoldina
  • 2014 Fellow der European Association of Theoretical Computer Science (EATCS)
  • 2014-2017 Korrespondierendes Mitglied der Mathematisch-Naturwissenschaftlichen Klasse der Österreichischen Akademie der Wissenschaften
  • seit 2013 Mitglied der Academia Europaea
  • 2013 Ehrendoktorwürde der Technischen Universität Dortmund
  • 2013 ERC Advanced Grant des Europäischen Forschungsrats
  • 2011 Google Research Award
  • 2004 European Young Investigator Award
  • 2001 Top 25 Women on the Web Award
  • 1997 Best Paper Award at the ACM Symposium on Operating Systems Principles
  • 1995 National Science Foundation (NSF) CAREER Award
  • 1992 Wallace Memorial Graduate Fellowship der Princeton University
  • 1986-1992 Stipendium der Studienstiftung des deutschen Volkes

KONTAKT

Leopoldina

Archiv


Emil-Abderhalden-Str. 35
06108 Halle (Saale)

Tel. 0345 - 47 239 - 120
Fax 0345 - 47 239 - 139
E-Mail archiv @leopoldina.org