Armin Biere

 (Austria)
Carnegie Mellon University, higher education, Assistant Professor, Post-doc, University Professor, Universität Karlsruhe…Johannes Kepler University, UniversityProfessoratJohannesKeplerUniversity
Researcher in Formal Verification, specialised in automatic verification methods, such as model checking, equivalence checking, decision...