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:
21013Informatica II (programmazione a oggetti + sistemi operativi) (Informatica) (12 crediti)
38068Informatica III (programmazione + progettazione e algoritmi) (12 crediti)
21056Testing e verifica del software

Corsi a.a. precedenti:
8454Informatica II (10 crediti)
23013Informatica II (programmazione a oggetti) (Meccanica) (6 crediti)
9005Informatica III (5 crediti)
38012Informatica 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
Pubblicazioni
Pubblicazioni
Proposte di tesi
Progetti, tirocini e tesi
Altro
Pagina personale