|
|
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
2024
- AMOST2024 (in PC)
- SAC2024 (in PC) Software Verification and Testing Track, the 39th ACM/SIGAPP Symposium On Applied Computing Avila, Spain, April 8 - April 12, 2024
- ICST2024 (in PC for posters)
- TAROT2024 (Co-Organizer) Summer School on Software Testing, Verification and Validation, Bergamo, 8th-12th July 2024
2023
- PASSAC2023 (in PC) 1st International Workshop on Patterns of Argumentation for Safety-Security Assurance Cases 2023
- ABZ2023 (Case Study Chairs) 10th International Conference on Rigorous State Based Methods, Bergamo (Italy) - Jun 25, 2024 — Jun 28, 2024 submit by February 3, 2024
- ABZ2023 (in PC) 9th International Conference on Rigorous State-Based Methods, Nancy, France - May 30, 2023 - Jun 2, 2023
- IWCT2023 (PC Chair) 12th International Workshop on Combinatorial Testing - Sun 16 Apr 2023
- IWCFS2023 (in PC) The 7th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, 34th DEXA n Panang, Malaysia from 28-30 August 2023.
- SAC2023 (in PC) Software Verification and Testing Track, 38th ACM/SIGAPP Symposium On Applied Computing, Tallinn Estonia, March 27 - March 31, 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 and SOlution Track Chair) 27TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE
- IFIP-ICTSS2023 (PC chair) IFIP-ICTSS 35th International Conference on Testing Software and Systems in Bergamo submit by May 13
- VST2023 (in PC) 6th Workshop on Validation, Analysis and Evolution of Software Tests - March 21, 2023, co-located with SANER 2023, hybrid event: Online and Macau, China
- VCS2023 (in PC) 31th IEEE International Conference on Enabling Technologies:Infrastructure for Collaborative Enterprises (WETICE-2023)
- ICST2023 (in PC for Tool Demonstrations e testing tool track)