Armin Biere

MathSciNet


Dr. rer. nat. Karlsruher Institut für Technologie (KIT) 1997 Germany
Dissertation: Effiziente Modellprüfung des mu-Kalküls mit binären Entscheidungsdiagrammen
Mathematics Subject Classification: 68—Computer science

Advisor: Peter Deussen

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Artho, CyrilleETH Zürich2005
Brickenstein, MichaelTechnische Universität Kaiserslautern2010
Brummayer, RobertJohannes Kepler Universität Linz2009
Fazekas, KatalinJohannes Kepler Universität Linz2020
Fröhlich, AndreasJohannes Kepler Universität Linz2016
Haroud, MalekETH Zürich2005
Kaufmann, DanielaJohannes Kepler Universität Linz2020
Lonsing, FlorianJohannes Kepler Universität Linz2012
Niemetz, AinaJohannes Kepler Universität Linz2017
Preiner, MathiasJohannes Kepler Universität Linz2017
Rebola Pardo, AdriánTechnische Universität Wien2022
Schuppan, ViktorETH Zürich2006

According to our current on-line database, Armin Biere has 12 students and 12 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 111891 for the advisor ID.