ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
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. The primary focus of my research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems.

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


ICST 2023 Property-Based Mutation Testing
Show activities from other conferences

ICST 2023-profile
View general profile