He is also a senior consultant for Safelogic AB, Gothenburg. He received a PhD in Computer Science in 1992 from University of Karlsruhe, and the title Universitätsdozent (Habilitation) from Technical University of Vienna in 1997. He joined Chalmers in January 2000. His main research interests are in software verification, automated theorem proving, and non-classical logics. He is currently Chair of the Technical Committee on Multiple-Valued Logic of the IEEE Computer Society and President of the Steering Committee of the TABLEAUX conference.