UniBg - Prof. Angelo Gargantini
angelo.gargantini@unibg.it

Tel.: 0352052027 (Dalmine)
Fax: 035562779
Sede: Dalmine
viale Marconi 5 - 24044 Dalmine (BG) - Italia
stanza B 2.23

Professore Associato: Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione

Professore Associato: Scuola di Ingegneria


Corsi:
21013 Informatica II (programmazione a oggetti + sistemi operativi) (Informatica) (12 crediti)
38068 Informatica III (programmazione + progettazione e algoritmi) (12 crediti)
21056 Testing e verifica del software

Corsi a.a. precedenti:
8454 Informatica II (10 crediti)
23013 Informatica II (programmazione a oggetti) (Meccanica) (6 crediti)
9005 Informatica III (5 crediti)
38012 Informatica III A + B (12 crediti)


Biografia breve

Angelo Gargantini è nato a Bergamo nel 1969, si è laureato (con lode) in Ingegneria Elettronica (indirizzo matematico) presso il Politecnico di Milano nel 1994. Ha conseguito il Dottorato di Ricerca in Ingegneria dell'Informazione presso il Politecnico di Milano nel Gennaio 2000 e il Dottorato di Ricerca in Informatica nel Marzo 2006 presso l'Università di Catania.

Ha lavorato come programmatore (1994-95), come ricercatore presso il Naval Research Laboratory di Washington DC - USA (1997-98), come tecnico presso l'Università di Catania (2000-05). Dal 2005 è ricercatore di Ingegneria Informatica ING-INF/05 presso l'Università di Bergamo, dove insegna diversi corsi di base e avanzati di programmazione e progettazione software.

La sua ricerca ha riguardato e riguarda l'uso dei metodi formali nell'Ingegneria del Software con particolare interesse per le logiche temporali, le Abstract State Machines, il model checking, il theorem proving e il model based testing.

Short bio

Angelo Gargantini was born in Bergamo in 1969. He graduated in Electronic Engineering in 1994. He holds one Ph.D. from the Politecnico di Milano, and another from the University of Catania.

He worked as visiting researcher at the NRL Naval Research laboratory in Washington DC, as technician at the University of Catania, and now he is assistant professor at the University of Bergamo, where he teaches basic and advanced courses of software design and programming.

His research interests are centered on languages, methods and tools for the specification, analysis, validation, verification, design, and testing of critical, real-time, embedded computer-based systems. Keywords of his research are: formal methods, Abstract State Machines, SCR, model checking, theorem proving, model based testing, combinatorial testing.



Informazioni personali
Curriculum Vitae
Ricevimento
Pubblicazioni
Pubblicazioni
Proposte di tesi
Progetti, tirocini e tesi
Altro
Pagina personale