Keynotes

Bio: Since 2021 Professor Armin Biere is leading the Chair of Computer Architecture at the University Freiburg in Germany after 17 years at the Johannes Kepler University in Linz, Austria. His primary research interests are applied formal methods, more specifically formal verification of hardware and software, using model checking and related techniques with the focus on developing efficient SAT and SMT solvers, which reached many top rank international competitions, actually were awarded 113 medals including 63 gold medals. He is a recipient of an IBM faculty award in 2012, received the TACAS most influential paper in the first 20 years of TACAS award in 2014, the HVC’15 award on the most influential work in the last five years in formal verification, simulation, and testing, the ETAPS 2017 Test of Time Award, the CAV Award in 2018, the IJCAI-JAIR 2019 Award, the 1990s Most Influential Paper Award at DAC’23, the SAT’23 Test-of-Time Award, the Herbrand Award at IJCAR’24, and the SAT’25 Test-of-Time Award. Armin Biere was co-chair of SAT’06, FMCAD’09, HVC’12, CAV’14, TACAS’20 and IJCAR’26. He served on the editorial boards of JAR (2011-2021), FMSD (2012-2021), and JAIR (2019-2023), as Associate Editor, as well as on the board of JSAT (since 2004). He is an editor of the Handbook of Satisfiability of the 1st edition 2009 and 2nd in 2021. He initiated and organizes the Hardware Model Checking Competition (HWMCC) from 2007-2025. From 2011-2017 he served as (first) chair and from 2017 to 2020 as vice-chair, now as counselor to the board of the SAT Association. Since 2012 he is a member of the steering committee of FMCAD. In 2006 Armin Biere co-founded NextOp Software Inc. which was acquired by Atrenta Inc. in 2012.