Davide Ancona

Davide Ancona is an Associate Professor at the University of Genova's DIBRIS department, specializing in Programming Languages, Formal Methods, and Runtime Verification. With over 150 publications, his work spans type systems, object-oriented programming, coinduction, and behavioral types.

• President of AITO's executive board since 2024
• Editorial board member for multiple journals
• Recipient of ECOOP 2009 Best Paper Prize
• Active in organizing conferences like ECOOP and VORTEX

His research focuses on formal verification of infinite computations, coinductive methods, and software reliability. Recent publications explore hybrid verification techniques, Java's runtime monitoring, and coFJ's corecursive type systems.

Scientific contributions include:

• 2009: ECOOP Best Paper (with G. Lagorio)

He participates in program committees for conferences like POPL, OOPSLA, and RV, emphasizing trustworthy software systems and language design.