About
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.
0Publications listed
Find Davide Bresolin elsewhere
Related Searches
You Might Also Like
- FFederico MogaveroUniversity of Padua · Researcher
- AAlessandro PadellaUniversity of Padua · Research Fellow
Marco MaidaMax Planck Institute for Software Systems · Researcher- JJoaquim Casals BuñuelInria · Researcher
NIANYU LIMax Planck Institute for Security and Privacy · Researcher- GGiovanni ConfortiUniversity of Padua · Associate Professor