معرفی
Dr. Dimitar Petrov is an Associate Professor in Computer Science at Ca’ Foscari University of Venice, specializing in static analysis and cybersecurity. He is affiliated with ETH Zürich's Institute of Pharmaceutical Sciences (IPW) as staff under Tit.-Prof. Jörg Scheuermann. His research focuses on applying abstract interpretation-based methods to detect security vulnerabilities in systems ranging from blockchain smart contracts to IoT devices.
Education details are not explicitly provided in the text, but his extensive publication history indicates advanced expertise in formal methods. His research interests include software verification, privacy enforcement, and the application of static analysis tools like LiSA across diverse domains such as robotics, microservices, and mobile applications.
Key research trends in his articles emphasize blockchain security (smart contract vulnerabilities, consensus protocols), IoT/IoMT security (device interactions, privacy policies), and the integration of machine learning with program analysis. His work bridges academic research with industry challenges, addressing compliance with regulations like GDPR and the EU Data Act.
Prior to his current roles, he has contributed to open-source frameworks like LiSA and collaborated on projects involving automated policy extraction, cross-language analysis, and vulnerability detection in automotive systems. His research group at Ca’ Foscari actively engages in both theoretical advancements and practical tool development.
Labs/Teams: Part of the Software and System Verification group at Ca’ Foscari, and collaborates with ETH Zürich's Institute of Pharmaceutical Sciences on interdisciplinary projects combining formal methods with healthcare technology.
