Professore Ordinario - Università di Bergamo - Full Professor - University of Bergamo
I am in the top 2% scientists worldwide according to Scopus https://www.doi.org/10.17632/btchxktzyw.5 (Sept 2022).
My research
I work in the area of software engineering. My research topics include: formal methods, astract state machines, formal verification and model checking, model-based testing, and combinatorial testing. Our lab.
Didattica
Insegno diversi corsi di informatica per gli studenti dell’Università di Bergamo. Principalmente nell’area della programmazione e progettazione del software.
Ricevimento: Guarda il mio calendario seguendo il link qui sotto. Il ricevimento è indicato con RIC. Tutti i miei impegni ufficiali (incluse le lezioni) li pubblico lì.
My calendar - Ecco il mio calendario - impegni ufficiali
I am a cloudy researcher: I do not need a hard drive any more: I keep my documents on Dropbox, google drive, OneDrive, spideroak, my code on assembla, sourceforge, github, literature papers on zotero and cloudme, my bookmarks on xmarks, my mail on several imap servers …
Upcoming (and past) events
2023
- SAC2023 (in PC) Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2023) March 27-31, 2023 in Tallinn, Estonia
- SPLC2023 (Challenge Track Chair) 27TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE
- ICST2023 (in PC for Tool Demonstrations e testing tool track)
2022
- CIBCB2022 (in PC) 19th IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 15-17 August, 2022 – Ottawa, ON, Canada
- AMOST2022 (in PC) 18th Workshop on Advances in Model Based Testing (A-MOST 2022), co-located with the 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022) Fri 14 Jan 2022 paper submission deadline
- IWCT2022 (PC Chair) 11th International Workshop on Combinatorial Testing submit by Thu 13 Jan 2022
- SAC2022 (in PC) Software Verification and Testing Track (SVT) of the 37th Annual ACM Symposium on Applied Computing (SAC 2022)
-
VaMoS2022 (in PC) 16th International Working Conference on Variability Modelling of Software-Intensive Systems February 23-25, 2022 Florence, Italy