Ezio Bartocci
Research Focus Coordinator For The Area Of Computer Engineering
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolEzio Bartocci is a Full Professor at TU Wien leading the Trustworthy Cyber-Physical Systems research group and coordinating large FFG- and WWTF-funded projects that bring formal methods to bear on safety, security, energy-efficiency and sustainability of AI-driven CPS. With over a decade of focused research and academic leadership—including roles as Chair of the Doctoral College in Trustworthy Autonomous CPS and Research Focus Coordinator for Computer Engineering—he bridges rigorous theory and practical tooling for dependable systems. His background spans a PhD in Information Science and a habilitation in Computer Science, enabling him to translate complex verification techniques into deployable solutions for autonomous and IoT-enabled infrastructures. Notably, he combines traditional formal methods with a sustainability lens, aiming to certify not just correctness but energy-aware operation of AI-based CPS.
10 years of coding experience
8 years of employment as a software developer
Vienna University of TechnologyLice Scientifico Livio CambiPhD, Information Science and Complex Systems, PhD, Information Science and Complex Systems at University of Camerino
english, german (intermediate), italian
Github Skills (6)
ranking7
moonlight6
science6
react6
computer-science5
monitoring5
Programming languages (3)
Github contributions (5)
probing-lab/probing-lab.github.io
Aug 2020 - Jun 2024
Contributions:714 pushes in 3 years 11 months
qonfest2020/qonfest2020.github.io
Jul 2020 - Sep 2020
Contributions:151 commits, 132 pushes in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.