Armin Biere

Armin BiereSince 2004 Prof. Armin Biere chairs the Institute for Formal Models and Verification at the Johannes Kepler University in Linz, Austria.
Between 2000 and 2004 he held a position as Assistant Professor within the Department of Computer Science at ETH Zürich, Switzerland. In 1999 Biere was working for a start-up company in electronic design automation after one year as Post-Doc with Edmund Clarke at CMU, Pittsburgh, USA. In 1997 Biere received a Ph.D. in Computer Science from the University of Karlsruhe, Germany.
Armin Biere is co-inventor of Bounded Model Checking (BMC), which is in widespread use in industry. He worked on decision procedures for SAT, QBF, and SMT and implementations of his group rank at the top in many competitions. He has more than 60 publications, was on the PC of more than 45 international workshops and conferences, was co-chair of SAT’06 and FMCAD’09, is one of the editors of the Handbook of Satisfiability, and organizes the Hardware Model Checking Competition.

Website