Davide Bresolin

Davide Bresolin serves as an Associate Professor in the Department of Mathematics at the University of Padua, where he leads research in critical software reliability domains. His academic profile centers on advancing verification methodologies for complex system architectures.

His research spans foundational and applied computer science, with emphasis on:

• Cyber-Physical Systems engineering
• Embedded systems development and validation
• Formal verification techniques
• Software reliability assurance
• System correctness proofs
• Safety-critical system design

Contact is available via email bresolin@math.unipd.it or phone 049 827 1330 from office 3DA7. Current work focuses on bridging theoretical formal methods with industrial-strength system verification practices.