I started on April 1st as Professor of Formal Methods at Johannes Kepler University in Linz, where I’m now heading the Institute of Formal Models and Verification.
This marks a new chapter after more than 27 years at Graz University of Technology, interrupted only by four years at UNU in Macau (2002–2006). It was a fantastic time at TU Graz, and I’m very grateful to my alma mater for all the opportunities, collaborations, and support over the years.I’m looking forward to working with my new colleagues at JKU and continuing research and teaching in formal methods. Let’s make systems not only more intelligent — but also more dependable and trustworthy.
