On November 10, 2016 Peter Hofer defended his dissertation to earn his doctoral degree! Congratulations!

Special thanks goes to all members of the committee: The picture shows (from left to right): Armin Biere (head of the committee), Rene Mayrhofer (committee member), Walter Binder (external assessor, University of Lugano) and Hanspeter Mössenböck (supervisor).