|
|
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.
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
2019
- AMOST2019 (Program Chair) 15th Workshop on Advances in Model Based Testing (A-MOST) 2019
- DMSVIVA2019 (in PC) The 25th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2019, Lisbon, Portugal, June 26 - 27, 2019
- IWCT2019 (in PC) 8th International Workshop on Combinatorial Testing, Xian China
- HEALTHINF2019 (in PC) International Conference on Health Informatics, 3-6 March, Eseo Angers, France
- TOOLS2019 (in PC) TOOLS 50+1: Technology of Object-Oriented Languages and Systems, Innopolis University, Innopolis (Kazan), Russia, October 14-20, 2019
2018
- ABZ2018 (in PC) 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, June 5th-8th, 2018, Southampton
- DMSVIVA2018 (in PC) The 24th International DMS Conference on Visualization and Visual Languages San Francisco Bay, USA June 29 - 30, 2018
- WHELP2018 (in PC) GOODTECHS - Special session WELL-BEING FOR FRAGILE PEOPLE (WHELP 2018)
- IWCT2018 (in PC) 7th International Workshop on Combinatorial Testing - 13 April 2018, Västerås, Sweden
- IWCFS2018 (in PC) 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems in conjunction with 8th International Conference on Model and Data Engineering (MEDI 2018) Marrakesh, Morocco, 24-26 October, 2018
- SAC2018 (in PC) The 33rd ACM Symposium On Applied Computing, SAC 2018, Pau, France April 9 - 13, 2018
- TAP2018 (in PC) 12th International Conference on Tests and Proofs, Toulouse, June 27 - 29, 2018, Part of the STAF Event ** deadline February 23, 2018**
- MEMOCODE2018 (in PC) 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China October 15-18, 2018 submission deadline May 25, 2018
- ICTSS2018 (in PC) 20th International Conference on Testing Software and Systems – Paris, France, August 27 - 28, 2018
- VCS2018 (in PC) VSC Track on Validation of Safety critical Collaboration systems (6th Edition) in 27th IEEE International Conference WETICE-2018 June 27-29, 2018 Paris, France