Armin Biere (Preferred)
Armin Biere
- Joined April 2024
Names
Emails
****@cs.uni-freiburg.de (Confirmed)
, ****@informatik.uni-freiburg.de (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Full Professor
Universität Freiburg (uni-freiburg.de)
2021 – 2024
Full Professor
Johannes Kepler Universität Linz (jku.at)
2004 – 2021
Assistant Professor
ETHZ - ETH Zurich (ethz.ch)
2000 – 2004
Advisors, Relations & Conflicts
Expertise
SAT
2000 – 2024
Automated Reasoning
1994 – 2024
Model Checking
1994 – 2024