Armin Biere
Also known as A. Biere, Biere Armin
Armin Biere is a computer scientist whose work spans formal verification, model checking and efficient SAT and SMT solvers. He earned a computer-science doctorate in Karlsruhe in 1997 and held posts at Carnegie Mellon, ETH Zürich and JKU. From 2019 to 2023, he served as an associate editor of the Journal of Artificial Intelligence Research, and his SAT work received conference awards in 2025 and 2026. Since 2021, he leads the Chair of Computer Architecture at the University of Freiburg and teaches SAT solving.
- Now at
- University of Freiburg
- Works
- 448
- Citations
- 14,806
- h-index
- 53
Publication numbers from OpenAlex, as of 15 October 2026.
Timeline
-
1997
A PhD at Karlsruhe
In 1997, he receives a computer-science PhD from the University of Karlsruhe.
-
1999
A postdoc and a startup
After one year as a postdoc with Edmund Clarke at Carnegie Mellon, he works for an electronic-design-automation start-up in 1999.
-
2000–2021
From ETH to JKU
At ETH Zürich, he becomes an assistant professor in 2000. From 2004 to 2021, he chairs JKU's Institute for Formal Models and Verification. His research covers formal verification, model checking and efficient SAT and SMT solvers, including bounded model checking.
-
2019–2023
Editing AI research
From 2019 to 2023, he serves as an associate editor of the Journal of Artificial Intelligence Research.
-
2025
Two SAT paper awards
He shares the SAT 2025 Best Paper Award for Streamlining Distributed SAT Solver Design, a paper on practical distributed SAT solving. A 2005 paper by him and Niklas Eén on variable and clause elimination receives the SAT Test-of-Time Award in 2025.
-
July 2026
SAT open-source award
At the FLoC Olympics in July 2026, he receives the SAT Competition Open Source Contribution Award for developing high-performance open-source solvers whose codebases have formed the basis of many SAT Competition winners.
-
July 2026
A QBF solver award
He shares the QBF Gallery Test-of-Time Award with Florian Lonsing and Uwe Egly for contributions to QBF solver development, DepQBF, proof systems and practical solving techniques.
-
Since 2021
Professor at Freiburg
He leads the Chair of Computer Architecture at the University of Freiburg. In summer semester 2026, he is responsible for the SAT Solving Lecture.
Sources and credits
Photo: We have no published photo of Armin Biere yet. Send us a free-licensed photo.