POPL 2024
Wed 17 - Fri 19 January 2024 London, United Kingdom
Ezio Bartocci

Registered user since Mon 10 Oct 2016

Name:Ezio Bartocci
Bio:

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.

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

Contributions

Show activities from other conferences

Using general profile