Andrea Esposito

Andrea Esposito serves as a Research Fellow at the Department of Pure and Applied Sciences (DiSPeA) of the University of Urbino Carlo Bo, Italy. His academic role focuses on theoretical research within the university's computer science domain, contributing to the institution's research output through publications in high-impact venues.

His research interests include:

• Reversible Computing
• Concurrency Theory
• Process Algebra
• Bisimulation Relations
• Noninterference in Security
• Formal Verification
• Modal Logic

Analysis of his 2023-2025 publications reveals a concentrated research trajectory in reversible concurrent systems. Key contributions include developing expansion laws for bisimilarities, modal logic characterizations of reversible processes, and noninterference frameworks for probabilistic systems. These works demonstrate theoretical rigor with applications in secure system design, published across venues like Logical Methods in Computer Science and Lecture Notes in Computer Science.

No scientific awards or honors were documented in available sources.

Information regarding student advising, research grants, laboratory affiliations, or collaborative teams was not provided in the source materials.