On September 30, 2016, Michael Vierhauser 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) Rick Rabiser (2nd supervisor), Armin Biere (head of the committee), Dr. Michael Vierhauser, Sam Guinea (external assessor, Politecnico di Milano), Paul Grünbacher (supervisor), and Josef Küng (committee member).