team
contact
software
publications
teaching
jobs
[ faculty | post-docs | phd-students | student-researchers | general-staff | past-post-docs | past-phd-students | visitors | past-members-fmv ]
Team
Faculty
Univ.-Prof. Dr. Martina Seidl, Interim Head
Univ.-Prof. Dr. Armin Biere, previous Head, Lecturer
Priv. Doz. Dr. Michael Affenzeller, Lecturer
Priv. Doz. Dr. Stephan Winkler, Associate
em. Univ.-Prof. Dr. Peter Kopacek, Lecturer
Post-Docs
Dr. Daniela Kaufmann, Univ.-Assist.
PhD Students
Lee Barnett, MSc, Ph.D. student
Emily Yu, M.Eng., Ph.D. student
Nils Froleyks, MSc, Ph.D. student
Student Researchers
General Staff
Doris Falb, Department Officer
Past Post-Docs
Dr. Cunjing Ge, Post-Doc, 2019 - 2021,
Dr. Mathias Fleury, Post-Doc, 2019 - 2021, still Postdoc Chair of Computer Architecture, University Freiburg.
Dr. David Cerna, Post-Doc, 2019 - 2020, Scientist, Institute of Computer Science, The Czech Academy of Sciences.
Dr. Vero Loitzenbauer, Post-Doc, 2018 - 2019.
Dr. Tom van Dijk, Post-Doc, 2016 - 2019, Assistant Professor, Universit of Twente, The Netherlands.
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, now Associate Professor Carnegie Mellon University Pittsburgh.
Dr. Matti Järvisalo, April - September 2009, now Associate Professor at University of Helsinki.
Dr. Toni Jussila, 2006 - 2007, afterwards OneSpin, since 2019 Delfoi.
Dr. Carsten Sinz, 2005 - 2006, now Head of research group at Karlsruhe Institute of Technology.
Past PhD Students
Ankit Shukla, MSc, continues his Ph.D. work at the Institut für Symbolic Artificial Intelligence
Dr. Sibylle Möhle, defended 2022 at JKU, now at Max Planck Institute for Informatics.
Dr. Katalin Fazekas, defended 2020 at JKU, now at TU Wien.
Dr. Daniela Kaufmann, defended 2020 at JKU, still at JKU.
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 Stanford University.
Dr. Robert Brummayer, defended 2009 at JKU, now at DMCE.
Dr. Malek Haroud, defended 2005 at ETH, now SW developer, Thurgau, Switzerland.
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 https://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
Simone Atzwanger, BSc, now at Institut für Symbolic Artificial Intelligence
Maximilian Heisinger, BSc, now PhD student at Institut für Symbolic Artificial Intelligence
Curt Langhammer, Technician
em. o. Univ.-Prof. Ing. Dr. Franz Pichler
Priv. Doz. Dr. Michael Affenzeller