Persone e Insegnamenti
      

Prof. Angelo Gargantini

angelo.gargantini@unibg.it

Tel.: 0352052027 (Dalmine)
Fax: 035562779

Riceve gli studenti: Il marted́ dalle 16.00 alle 18.00.

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

prof. Angelo GargantiniAngelo 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 e dal 2015 professore associato 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.



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