|
|
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
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
- 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
2017
- AMARETTO2017 (in PC) domAin specific Model-based AppRoach to vErificaTion and validation, MODELSWARD 2017, Porto, Portugal, between the 19th and the 21st of February, 2017.
- DMSVLSS2017 (in PC) The 23rd International Conference on Distributed Multimedia Systems, Visual Languages and Sentient Systems - Pittsburgh, USA July 7 - 8, 2017
- IWCT2017 (in PC) 6th International Workshop on Combinatorial Testing - 13 March 2017, Tokyo, Japan
- TAP2017 (in PC) 11th International Conference on Tests and Proofs, July 17 - 21, 2017 in Marburg, Germany
- SVT2017 (in PC) Software Verification and Testing 2017 A Track of the ACM Symposium on Applied Computing, Marrakech, Morocco, April 3 - 7, 2017, submission deadline September 15, 2016
- VCS2017 (in PC) 5th Edition of Track on Validation of Safety critical Collaboration systems in 26th IEEE WETICE International Conference -June 21-23, 2017 Poznan - Poland