Postdocs

Name Previous Institute Current Institute Years Hired Group of
Cezara Dragoi LIAFA, FR IST Austria 2014– Thomas Henzinger
Jan Otop UWr, PL IST Austria 2014– Thomas Henzinger
Sasha Rubin Cornell U., US IST Austria, TU Wien 2012– Helmut Veith, Krishnendu Chatterjee
Benjamin Aminof HUJI, IL IST Austria, TU Wien 2013– Helmut Veith, Krishnendu Chatterjee
Tomer Kotek Technion, IL TU Wien 2013– Helmut Veith
Igor Konnov Lomonosov MSTU, RU TU Wien 2011– Helmut Veith
Gergely Kovásznai Eszterhazy K. Coll., HU JKU Linz, TU Wien 2011– Helmut Veith, Armin Biere
Josef Widder Texas A&M, US TU Wien 2011– Helmut Veith
Rainer Trummer PLU Salzburg, AT PLU Salzburg 2011– Christoph Kirsch
Martin Zeiner TU Graz, AT TU Wien 2011– Ulrich Schmid
Swen Jacobs EPFL, CH TU Graz 2012– Roderick Bloem
Rasmus Ibsen-Jensen Aarhus U., DK IST Austria 2013– Krishnendu Chatterjee
Mathieu Tracol Paris 7, FR IST Austria 2010–2011 Krishnendu Chatterjee
Jean-Marie Lagniez CRIL Lens, FR JKU Linz 2012–2013 Armin Biere
Marijn Heule TU Delft, NL JKU Linz 2011 Armin Biere
Florian Lonsing JKU Linz, AT TU Wien 2012– Uwe Egly
Roopsha Samanta The University of Texas at Austin IST Austria 2014– Thomas Henzinger