Starting from December 1st 2020, Ezio Bartocci will start his new appointment as Full Professor in Formal Methods for Cyber-Physical Systems Engineering at Institute of Computer Engineering, Faculty of Informatics, TU Wien.
Starting from December 1st 2020, Ezio Bartocci will start his new appointment as Full Professor in Formal Methods for Cyber-Physical Systems Engineering at Institute of Computer Engineering, Faculty of Informatics, TU Wien.