Unibg International -Prof. Angelo Gargantini
Unibg International
Home > Prof. Angelo Gargantini

Prof. Angelo Gargantini

angelo.gargantini@unibg.it

Tel.: +39 0352052027 (Dalmine)
Fax: +39 035562779
Building: Dalmine
viale Marconi 5 - 24044 Dalmine (BG) - Italy
room B 2.23

Associate professor: Department of Management, Information and Production Engineering

Associate professor: School of Engineering


Subjects:
21013 Information Technology II Informatica II (programmazione a oggetti + sistemi operativi) (Informatica) (12 crediti)
38068 Information Technology III Informatica III (programmazione + progettazione e algoritmi) (12 crediti)
21056 Software Test and Verification Testing e verifica del software

Subjects (previous Academic Years):
8454 Information Technology II Informatica II (10 crediti)
23013 Information Technology II Informatica II (programmazione a oggetti) (Meccanica) (6 crediti)
9005 Information Technology III Informatica III (5 crediti)
38012 Information Technology III A and B 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.



Personal Noticeboard
Curriculum Vitae
Ricevimento
Publications
Pubblicazioni
Topics for Dissertations
Progetti, tirocini e tesi
Altro
Pagina personale