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 ordered by family name.

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

According to our current on-line database, Armin Biere has 15 students and 15 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.