Students

	Martin Aigner Advisor: Christoph Kirsch Co-advisor: Armin Biere University: University of Salzburg Topic: Performance models of dynamic memory DBLP
	Christian Antic Advisor: Uwe Egly Co-advisor: University: TU Wien Topic: Automata & Formal Languages DBLP
	Martin Chmelik Advisor: Krishnendu Chatterjee Co-advisor: University: Institute of Science and Technology (IST) Topic: Analysis of Systems with Partial Observation Notes: web-page: http://pub.ist.ac.at/~mchmelik/ DBLP
	Przemyslaw Daca Advisor: Thomas A. Henzinger Co-advisor: University: Institute of Science and Technology (IST) Topic: Automated test generation, probabilistic model checking DBLP
	Yulia Demyanova Advisor: Helmut Veith Co-advisor: Agata Ciabattoni, Florian Zuleger University: TU Wien Topic: Recovering roles of variables in C programs using static analysis DBLP
	Ioan Dragan Advisor: Laura Kovacs Co-advisor: Armin Biere University: TU Wien Topic: First order theorem proving/SMT solving DBLP
	Soodeh Farokhi Advisor: Helmut Veith Co-advisor: Ivona Brandic University: TU Wien Topic: Hierarchical Service Level Agreement Management of Hybrid Clouds DBLP
	Annu Gmeiner Advisor: Helmut Veith Co-advisor: University: TU Wien Topic: Parameterized Model Checking, Fault Tolerant Systems Notes: (previously Annu John, dblp) DBLP
	Andreas Haas Advisor: Christoph Kirsch Co-advisor: Ana Sokolova University: University of Salzburg Topic: Timestamping in Memory Management and Concurrent Algorithms DBLP
	Ayrat Khalimov Advisor: Roderick Bloem Co-advisor: Helmut Veith University: TU Graz Topic: Parameterized Synthesis and Verification DBLP
	Robert Könighofer Advisor: Roderick Bloem Co-advisor: Laura Kovacs University: TU Graz Topic: Reactive Synthesis with QBF solvers, Debugging DBLP
	Bettina Könighofer Advisor: Roderick Bloem Co-advisor: Christoph Kirsch University: TU Graz Topic: Synthesis of concurrent programs DBLP
	Alexander Kößler Advisor: Ulrich Schmid Co-advisor: Krishnendu Chatterjee University: TU Wien Topic: Techniques for Real-Time Performance Analysis of Synchronous Distributed Systems DBLP
	Michael Lippautz Advisor: Christoph Kirsch Co-advisor: University: University of Salzburg Topic: Concurrent data structures, memory management DBLP
	Aina Niemetz Advisor: Armin Biere Co-advisor: Christoph Kirsch University: Johannes Kepler University Linz Topic: SMT-Solving, Automated Testing and Debugging Techniques DBLP
	Johannes Oetsch Advisor: Uwe Egly Co-advisor: Hans Tompits University: TU Wien Topic: Incremental QBF solving, methods for verifying answer-set programs (ASP), ASP for realising combinatorial methods for event-sequence testing DBLP
	Mathias Preiner Advisor: Armin Biere Co-advisor: Christoph Kirsch University: Johannes Kepler University Linz Topic: Lambdas in Boolector, SMT-solving DBLP
	Arjun Radhakrishna Advisor: Thomas A. Henzinger Co-advisor: University: Institute of Science and Technology (IST) Topic: Probabilistic games, model checking of concurrent programs, stochastic and quantitative games Notes: Graduated in 2014, now in University of Pennsylvania DBLP
	Johannes Reiter Advisor: Krishnendu Chatterjee Co-advisor: University: Institute of Science and Technology (IST) Topic: Interdisciplinary research in game theory and biology DBLP
	Thorsten Tarrach Advisor: Thomas A. Henzinger Co-advisor: University: Institute of Science and Technology (IST) Topic: Concurrent programs, synthesis and verification, cryptography DBLP
	Magdalena Widl Advisor: Uwe Egly Co-advisor: University: TU Wien Topic: QBF solving and certification DBLP
	Damien Zufferey Advisor: Thomas A. Henzinger Co-advisor: Krishnendu Chatterjee University: Institute of Science and Technology (IST) Topic: Analysis of Dynamic Message Passing Programs (A framework for the analysis of depth-bounded systems) Notes: Graduated in 2013. DBLP