Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 13:50 - 14:15 at Sala VII - Algebra, Coalgebra, Model Checking Chair(s): Barbara König
Slides (opct2019.pdf)2.13MiB

I am full professor at the RWTH Aachen University in the Software Modeling and Verification (MOVES) group and part-time associated to the Formal Methods & Tools group at the University of Twente. Since 2013, I hold a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.