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
University of Freiburg (uni-freiburg.de)
2021 – 2025
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
Publications
Co-Authors
- Aarti Gupta
- Adrian Balint
- Adrián Rebola-Pardo
- Aina Niemetz
- Akihisa Yamada
- Alessandro Cimatti
- Alexander Egyed
- Alexander Nöhrer
- Alexandra Goultiaeva
- Andreas Fröhlich
- Andrei Voronkov
- André Schidler
- Andy Oertel
- Ankit Shukla
- Anton Wijs
- Anubhav Gupta
- Benjamin Kiesl
- Bernhard Gstrein
- Boris Zweimüller
- Bwolen Yang
- Carmelo Loiacono
- Carsten Sinz
- Cesare Tinelli
- Christoph M. Kirsch
- Christoph M. Wintersteiger