POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Ezio Bartocci

Registered user since Mon 10 Oct 2016

Name:Ezio Bartocci

He is a full professor 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.

Affiliation:Technische Universit├Ąt Wien
Research interests:Cyber-Physical Systems


Show activities from other conferences

POPL 2024-profile
View general profile