Davide Ancona

Contact Details DIBRIS - Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi Via Dodecaneso, 35 16146 Genova - ITALY Office: Valletta Puggia, 328 Phone: +39 (010) 3536636 Email address: davide.ancona@unige.it X (Twitter): https://x.com/davideancona68 GitHub: https://github.com/davideancona

     



National project T-LADIES (PRIN 2020TL3X8X, coordinator of the Genova unit)

Main links

Curriculum
Papers
Runtime Monitoring Language (RML)
Conference and Workshop Organization
Secure and Reliable Systems
PhD program in Computer Science and Systems Engineering
Projects
Software
Master (LM) thesis proposals
Didattica
EasyRoom
Timetable
U-GOV
U-WEB
IRIS
AulaWeb DIBRIS
CCS
Useful Unige links

Activities and events

ECOOP 2025, Mon 30 June - Fri 4 July 2025 Bergen, Norway
PC member of Runtime Verification 2024
Co-chair of VORTEX 2024 - International Workshop on Verification and Monitoring at Runtime Execution
I am pleased to announce that the JOT special issue on VORTEX 2022 is now available.
PC member of <Programming> 2025 the 9th International Conference on the Art, Science, and Engineering of Programming
President of the Executive Board of AITO (Association Internationale pour les Technologies Objets)
PC member of ICTAC 2024 (21st International Colloquium on Theoretical Aspects of Computing)
PC member of ENASE 2024 (19th International Conference on Evaluation of Novel Approaches to Software Engineering)
PC member of Dynamic Languages Symposium 2023
Co-chair of VORTEX 2023 - International Workshop on Verification and Monitoring at Runtime Execution
Co-chair of VORTEX 2022 - International Workshop on Verification and mOnitoring at Runtime EXecution
Review Committee member of The Art, Science, and Engineering of Programming, Volume 7
PC member of FLOPS 2022 - the 16th International Symposium on Functional and Logic Programming
Co-chair of VORTEX 2021 - International Workshop on Verification and mOnitoring at Runtime EXecution; see the JOT special issue
Committee member for Most Influential Paper from AOSD 2011
Review Committee member of OOPSLA 2021
PC member of ECOOP 2020, the 34th European Conference on Object-Oriented Programming
Member of the committee for the Most Notable Paper Award 2019 for 2009, Dynamic Languages Symposium (DLS 2009)
Co-chair of VORTEX at ECOOP 2019 the 3rd workshop on Verification of Objects at Runtime Execution
PhD thesis opponent: Mauricio Chimento, Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs, Chalmers University of Technology and Gothenburg University
PC member of IJCAI 2019, the 28th International Joint Conference on Artificial Intelligence
Member of the committee for the Most Notable Paper Award 2018 for 2008, Dynamic Languages Symposium (DLS 2008)
Italian scientific qualification as full professor (August 2018)
Track co-chair of NGPS 2019 (Next Generation Programming Paradigms and Systems) at General chair of <Programming> 2019 the 3rd International Conference on the Art, Science, and Engineering of Programming
Chair of the ECOOP 2018 Test of Time Award committee
Co-chair of VORTEX at ECOOP 2018 the 2nd workshop on runtime verification for object-oriented languages, and systems
Track chair of OOPPS 2018 (Object-Oriented and Parallel Programming Languages and Systems) at SAC 2018
PC member of <Programming> 2018, the second edition of the International Conference on the Art, Science, and Engineering of Programming
Member of the External Review Committee for SPLASH 2017 OOPSLA
Program chair of Dynamic Languages Symposium 2017 (DLS 2017)
Invited speaker at the Workshop on Coalgebra, Horn Clause Logic Programming and Types   Edinburgh, UK, 28 - 29 November 2016
Track chair of OOPS 2017 (Object-Oriented Programming Languages and Systems) at SAC 2017
Co-organizer of VORTEX 2016, the first workshop on runtime verification for object-oriented languages, and systems    
Member of the Program Committee of FTfJP 2016
Member of the External Review Committee for SPLASH 2016 OOPSLA
Member of the Program Committee for TASE 2016
Track chair of OOPS 2016 (Object-Oriented Programming Languages and Systems) at SAC 2016
Invited to the NII Shonan Meeting su "Semantics and Verification of Object-Oriented Languages" September 21-25, 2015<
PC member of ICTCS 2015, 16th Italian Conference on Theoretical Computer Science
Co-chair of CILC 2015, 30th Italian Conference on Computational Logic Genoa, July 1st-3rd 2015
Track chair of OOPS 2015 (Object-Oriented Programming Languages and Systems) at SAC 2015
Invited to the workshop Reliability of Concurrent and Distributed Software, May 6-9, 2014, Lorentz Center, Leiden, The Netherlands
Member of the External Reviewing Committee of POPL 2015 (42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
PC member of CMCS '14 (12th International Workshop on Coalgebraic Methods in Computer Science)
Invited to NII Shonan Meeting: Coinduction for computation structures and programming languages Shonan Village Center, Japan, October 6-10, 2013
PC member of ECOOP 2014 (European Conference on Object-Oriented Programming)
Track chair of OOPS 2014 (Object-Oriented Programming Languages and Systems) at SAC 2014
PC member of DLS 2013 (Dynamic Languages Symposium 2013, colocated with SPLASH/OOPSLA)
PC member of ECOOP 2013 (European Conference on Object-Oriented Programming)
Track chair of OOPS 2013 (Object-Oriented Programming Languages and Systems) at SAC 2013
PC member of the 6th Workshop on Reachability Problems (RP'12)
Track co-chair of OOPS 2012 (Object-Oriented Programming Languages and Systems) at SAC 2012
PC member of the 5th Workshop on Reachability Problems (RP'11)
Track co-chair of OOPS 2011 (Object-Oriented Programming Languages and Systems) at SAC 2011
PC member of FOOL 2010 (International Workshop on Foundations of Object-Oriented Languages 2010, colocated with SPLASH/OOPSLA)
PC member of DLS 2010 (Dynamic Languages Symposium 2010, colocated with SPLASH/OOPSLA)
Organizing chair of ECOOP 2009 (23rd European Conference on Object-Oriented Programming)
Track co-chair of OOPS 2010 (Object-Oriented Programming Languages and Systems) at SAC 2010
PC member of DLS 2009 (Dynamic Languages Symposium 2009, colocated with OOPSLA)
Track co-chair of OOPS 2009 (Object-Oriented Programming Languages and Systems) at SAC 2009
PC member of IEEE IRI 2008 (The 2008 IEEE International Conference on Information Reuse and Integration)
PC member of Bytecode 2008 (satellite workshop of ETAPS 2008)
PC member of ESOP 2008 (17th European Symposium on Programming) at ETAPS 2008 

---

Please send suggestions and comments to:

Davide Ancona davide.ancona@unige.it

---

Last Updated: December 2024