Ezio Bartocci

I am a full professor for for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit. I am also the chair of the Doctoral College on Trustworthy Autonomous Cyber-Physical Systems, the vice-chair for the program admission of the Marie Skłodowska-Curie COFUND doctoral programme LogiCS_at_TUWien, the advisory board member of the Doctoral College on Resilient Embedded Systems, the scientific coordinator of the WWTF project ProbInG and a member of the Cyber-Security Center of TU Wien. Google Scholar.