Team

Faculty

Univ.-Prof. Dr. Armin Biere, Head

Assoz.-Univprof. Dr. Martina Seidl

Priv. Doz. Dr. Michael Affenzeller, Lecturer

Post-Docs

Dr. Veronika Loitzenbauer, Post-Doc

Dr. Tom van Dijk, Post-Doc

PhD Students

Dipl.-Ing. Katalin Fazekas, Ph.D. student

Dipl.-Ing. Daniela Kaufmann, Ph.D. student

Dipl.-Inform. Sibylle Möhle, Ph.D. student

General Staff

Doris Falb, Department Officer

Past Post-Docs

Dr. Gergely Kovásznai, 2011 - 2013, Associate Professor, Eszterházy Károly College, Eger, Hungary.

Dr. Jean-Marie Lagniez, 2012 - 2013, Maître de Conférence, CRIL CNRS.

Dr. Marijn Heule, 2011, Research Scientist, University of Texas at Austin.

Dr. Matti Järvisalo, April - September 2009, Associate Professort at University of Helsinki.

Dr. Toni Jussila, 2006 - 2007, now at OneSpin Solutions.

Dr. Carsten Sinz, 2005 - 2006, now Head of research group at Karlsruhe Institute of Technology.

Past PhD Students

Dr. Aina Niemetz, defended 2017 at JKU, now at Stanford University.

Dr. Mathias Preiner, defended 2017 at JKU, now at Stanford University.

Dr. Andreas Fröhlich, defended 2016 at JKU, now industry (IT Consulting).

Dr. Florian Lonsing, defended 2012 at JKU, now at TU Vienna.

Dr. Robert Brummayer, defended 2009 at JKU, now at DMCE.

Dr. Malek Haroud, defended 2005 at ETH,
now head of IT and Computer Science Department at Global University.

Dr. Viktor Schuppan, defended 2005 at ETH, was Post-Doc at FBK in Trento.

Dr. Cyrille Artho, defended 2005 at ETH, now Associate Professor at KTH in Stockholm.

Visitors

Tom van Dijk, Ph.D., May 2016.

Akihisa Yamada, Ph.D., Sept. 2014, June 2015.

Marijn Heule, Research Scientist, July 2014, June 2015, June 2016, June 2017.

Tomáš Balyo, Ph.D., Oct.-Dec. 2013.

Donald Knuth, Prof. em. Stanford, May 2013 (see also http://fmv.jku.at/knuth).

Takashi Kitamura, Ph.D., Sept. 2013, Sept. 2014.

Alexandra Goultiaeva, Ph.D., January - April 2012.

Dr. Cyrille Artho, March / April 2010, Sept. 2012, Sept. 2013. Sept. 2014.

Other Past Members of FMV

Curt Langhammer, Technician

em. o. Univ.-Prof. Ing. Dr. Franz Pichler

Priv. Doz. Dr. Michael Affenzeller

a. Univ.-Prof. Dr. Josef Scharinger,

DI Dr. Herbert Prähofer

DI Roland Braune

Dr. Stephan Winkler

Dr. Stefan Wagner