Angelo Gargantini

		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.

3D4 Amb

Recently I have worked on the use of computers for the diagnosis and cure of vision problems. If you want to know more see here,

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