|
|
Postal Address: | Dipartimento di Ingegneria gestionale, dell'informazione e della produzione viale Marconi, 5 - 24044 Dalmine BG - Italia |
| Phone Number: | +39 0352052027 | ||
| Fax Number: | +39 035 562779 | ||
| E-Mail: | ZZZangelo.gargantini@unibg.it (remove ZZZ - rimuovi ZZZ) | ||
| per gli studenti: scrivetemi dall'indirizzo xxx@studenti.unibg.it in modo che possa smistare automaticamente le vostre mail ed essere sicuro di rispondere. |
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
2026
- ISSRE2026 (senior PC member (Research Track)) The 36th IEEE International Symposium on Software Reliability Engineering
- VERIFAI2026 (in PC) VERIFAI-2026, LASER center, Villebrumier, France, March 8-11
- IWCT2026 (PC Chair) 15th International Workshop on Combinatorial Testing (IWCT 2026)
-
VST2026 (in PC) 9th Workshop on Validation, Analysis and Evolution of Software Tests March 17, 2026 co-located with SANER 2026, Limassol, Cyprus - ICST2026 (Program Committee ICST Research Papers)