Davide Ancona

Davide Ancona is an Associate Professor at the University of Genoa, Italy, in the Department of Computer Science, Bioengineering, Robotics, and Systems Engineering (DIBRIS). He holds key governance roles:

• Member of the School Council, School of Mathematical, Physical and Natural Sciences
• Member of the Department Board, DIBRIS

His teaching portfolio spans Internet of Things, Healthcare IoT, Wearable Devices, Programming Languages, and Pervasive Computing across Computer Science and Bioengineering degree programs.

His research concentrates on:

• Formal Methods and Programming Languages (specializing in corecursive streams and type systems)
• Runtime Verification for software correctness and multi-agent systems
• Internet of Things applications in healthcare contexts

His work bridges theoretical foundations with practical verification tools for critical systems.

Analysis of his 2023-2024 publications reveals:

• Foundational advances in corecursive stream equivalence and expressivity
• Novel applications of logic programming to runtime monitoring
• Techniques for verifying mutable object behavior in Java
• Extensions to robotic multi-agent frameworks like JaCaMo

These contributions demonstrate a cohesive trajectory from theoretical programming language research to real-world IoT and healthcare validation systems.