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 Associato - Università di Bergamo - Associate Professor - University of Bergamo

Visiting professor at the University of Virginia

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

Vuoi aprire un account con Dropbox dove salvare in modo sicuro tuoi file, averli a disposizione ovunque vai? Hai di base 2GB e 250MB se clicchi qui. Se usi l’indirizzo email dell’Università, hai 500Mb in più per ogni amico che inviti (guarda qui).

I am a cloudy researcher: I do not need a hard drive any more: I keep my documents on Dropbox and spideroak, my code on assembla, sourceforge, google code, github, literature papers on zotero and cloudme, my bookmarks on xmarks, my mail on several imap servers…

Upcoming (and past) events

2018

2017

List of conferences which I was involved in

My sw links