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
Barnett, LeeJohannes Kepler Universität Linz2022
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
Möhle-Rotondi, SibylleJohannes Kepler Universität Linz2022
Niemetz, AinaJohannes Kepler Universität Linz2017
Preiner, MathiasJohannes Kepler Universität Linz2017
Rebola Pardo, AdriánTechnische Universität Wien2022
Schuppan, ViktorETH Zürich2006
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.