Registered user since Wed 24 Jun 2015
Davide Ancona (PhD in Computer Science, University of Pisa, 1998) is Associate Professor at the University of Genova. His main research interests include type systems, object-oriented programming, coinduction methods for programming languages, modules and components, software reuse and maintenance, multi-agent systems, and behavioral types. He is author of more than 150 publications. He is the president of the executive board of AITO, Association Internationale pour les Technologies Objets (since Jan 2024, previously secretary since Jan 2013, and vice-president since Jan 2012), and member of the editorial board of the ACM/SIGAPP Applied Computing Review (ACR), Scientific Programming (Hindawi), and Open Computer Science. He has been guest editor of special issues of Science of Computer Programming and Journal of Object Technology. In 2009 he received, together with G. Lagorio, the best paper prize at ECOOP. He has participated to several national and European projects and has been PC member of several workshops and conferences including DLS, ECOOP, ESOP, OOPSLA, and RV. He has been involved in the organization of several scientific events: organizing chair of ECOOP 2009, program chair of DLS 2017, general chair of 2019 program co-chair of FTfJP06 and of OOPS special track at SAC from 2004 through 2017, co-chair of CILC 2015. He has co-chaired all the editions of the VORTEX workshop since 2016.
Contributions
2025
2024
VORTEX
- Session Chair of Morning talks (part of VORTEX 2024)
- Session Chair of Morning keynote (part of VORTEX 2024)
- Co-chair in Program Committee within the VORTEX 2024-track
- Session Chair of Afternoon talks 2 (part of VORTEX 2024)
- Organizing Committee in Organizing Committee within the VORTEX 2024-track
- Session Chair of Afternoon keynote 2 (part of VORTEX 2024)
2023
VORTEX
2022
VORTEX
FLOPS
‹Programming›
2021
ECOOP
VORTEX
‹Programming›
2020
ECOOP
- Author of Sound regular corecursion in coFJ within the Research Papers-track
- Author of A big step from finite to infinite computations within the Research Papers-track
- Session Chair of S-5 (part of Research Papers)
- Session Chair of S-5 (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
‹Programming›
2019
VORTEX
2018
ECOOP
ECOOP/ISSTA
VORTEX
2017
DLS
- Session Chair of Session 3 (part of DLS 2017)
- Program Chair in Organizing Committee within the DLS 2017-track
- Dynamic Languages Symposium Chair in Program Committee within the DLS 2017-track
- Session Chair of Session 1 (part of DLS 2017)
- Steering Committee Member in Steering Committee within the DLS 2017-track
SPLASH
- DLS Program Chair in Organizing Committee
- Author of Reasoning on Divergent Computations with Coaxioms within the OOPSLA-track
- Author of Reasoning on Divergent Computations with Coaxioms within the Posters-track
- Session Chair of Verification in Practice (part of OOPSLA)
- Committee Member in External Program Committee within the OOPSLA-track