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.

Bild: (c) Barbara Mair

Link zum vollständigen CV: https://www.leopoldina.org/fileadmin/redaktion/Mitglieder/CV_Henzinger_Monika_D.pdf