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 |