Milan Lopuhaä appointed Assistant Professor

As from 1 January 2023, Milan LopuhaƤ-Zwakenberg has been appointed Assistant Professor in the Formal Methods and Tools research group. We wish Milan lots of success in his new role!