Angelo Michele GARGANTINI

Professore Ordinario

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione

Settore Scientifico Disciplinare: SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (ING-INF/05)

Biografia

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, dal 2015 professore associato e dal 2021 professore ordinario di Ingegneria Informatica ING-INF/05 presso l'Università di Bergamo, dove insegna diversi corsi di base e avanzati di programmazione e progettazione software.

Dal 2019 è presidente del collegio del corso di studio di ingegneria informatica (triennale e magistrale).

La sua ricerca ha riguardato e riguarda l'Ingegneria del Software con particolare interesse per i metodi formali, le Abstract State Machines, il model checking e il testing di software.

Contatti

Telefono: +39 0352052027

FAX: +39 035562779

E-mail:

angelo.gargantini@unibg.it

Sede di lavoro:

DALMINE-VIALE MARCONI

stanza B2.23

Insegnamenti

Anno accademico: 2023/2024

ARTIFICIAL INTELLIGENCE IN HEALTHCARE
Anno di corso: 1 - CFU 1 crediti - Corso di laurea: MEDICINE AND SURGERY
BASIC COMPUTER SCIENCE modulo BASIC COMPUTER SCIENCE
Anno di corso: 1 - CFU 4 crediti - Corso di laurea: MEDICINE AND SURGERY
INGEGNERIA DEL SOFTWARE
Anno di corso: 3 - CFU 9 crediti - Corso di laurea: INGEGNERIA INFORMATICA
LABORATORIO DI PROGRAMMAZIONE EVOLUTA E COMPETITIVA
Anno di corso: 2 - CFU 6 crediti - Corso di laurea: INGEGNERIA INFORMATICA
TESTING E VERIFICA DEL SOFTWARE
Anno di corso: 2 - CFU 6 crediti - Corso di laurea: INGEGNERIA INFORMATICA

Anno accademico: 2022/2023

ARTIFICIAL INTELLIGENCE IN HEALTHCARE
Anno di corso: 1 - CFU 1 crediti - Corso di laurea: MEDICINE AND SURGERY
BASIC COMPUTER SCIENCE modulo BASIC COMPUTER SCIENCE
Anno di corso: 1 - CFU 3 crediti - Corso di laurea: MEDICINE AND SURGERY
INGEGNERIA DEL SOFTWARE
Anno di corso: 3 - CFU 9 crediti - Corso di laurea: INGEGNERIA INFORMATICA
MOBILE APP LAB
Anno di corso: 2 - CFU 3 crediti - Corso di laurea: ENGINEERING AND MANAGEMENT FOR HEALTH
PROGRAMMAZIONE AVANZATA
Anno di corso: 1 - CFU 6 crediti - Corso di laurea: INGEGNERIA INFORMATICA
TESTING E VERIFICA DEL SOFTWARE
Anno di corso: 2 - CFU 6 crediti - Corso di laurea: INGEGNERIA INFORMATICA

Anno accademico: 2021/2022

INGEGNERIA DEL SOFTWARE
Anno di corso: 3 - CFU 9 crediti - Corso di laurea: INGEGNERIA INFORMATICA
PROGRAMMAZIONE AVANZATA
Anno di corso: 1 - CFU 6 crediti - Corso di laurea: INGEGNERIA INFORMATICA
TESTING E VERIFICA DEL SOFTWARE
Anno di corso: 1 - CFU 6 crediti - Corso di laurea: INGEGNERIA INFORMATICA

Pubblicazioni

Bersani Marcello M., Braghin Chiara, Gargantini Angelo Michele, Mirandola Raffaela, Riccobene Elvinia, Scandurra Patrizia; (2023) Engineering of Trust Analysis-Driven Digital Twins for a Medical Device, Software Architecture. ECSA 2022 Tracks and Workshops, pp. 467 - 482, https://doi.org/10.1007/978-3-031-36889-9_31, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Lei Yu, Duan Feng; (2023) RATE: A model-based testing approach that combines model refinement and test execution, SOFTWARE TESTING VERIFICATION & RELIABILITY, pp. 1 - 34, https://doi.org/10.1002/stvr.1835, Dettaglio
Bombarda Andrea, Gargantini Angelo Michele; (2023) Incremental generation of combinatorial test suites starting from existing seed tests, Proceedings. 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023, pp. 197 - 205, https://doi.org/10.1109/ICSTW58534.2023.00044, Dettaglio
Bersani Marcello Maria, Braghin Chiara, Cortellessa Vittorio, Gargantini Angelo Michele, Grassi Vincenzo, Lo Presti Francesco, Mirandola Raffaela, Pierantonio Alfonso, Riccobene Elvinia, Scandurra Patrizia; (2022) Towards Trust-preserving continuous co-evolution of Digital Twins, 19th IEEE International Conference on Software Architecture (ICSA 2022), pp. 96 - 99, https://doi.org/10.1109/ICSA-C54293.2022.00024, Dettaglio
Arcaini Paolo, Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Gamba Daniele, Pedercini Rita; (2022) Robustness assessment and improvement of a neural network for blood oxygen pressure estimation, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 312 - 322, https://doi.org/10.1109/ICST53961.2022.00040, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele; (2022) Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller, Testing Software and Systems. ICTSS 2021, pp. 65 - 72, https://doi.org/10.1007/978-3-031-04673-5_5, Dettaglio
Bonfanti Silvia, Gargantini Angelo Michele, Riccobene Elvinia, Scandurra Patrizia; (2022) Compositional Simulation of Abstract State Machines for Safety Critical Systems, Formal Aspects of Component Software. 18th International Conference, FACS 2022. Virtual Event, November 10–11, 2022. Proceedings, pp. 3 - 19, https://doi.org/10.1007/978-3-031-20872-0_1, Dettaglio
Bombarda Andrea, Bonfanti Silvia, De Sanctis Martina, Gargantini Angelo Michele, Pelliccione Patrizio, Riccobene Elvinia, Scandurra Patrizia; (2022) Towards an Evaluation Framework for Autonomous Systems, 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), pp. 43 - 48, https://doi.org/10.1109/ACSOSC56246.2022.00025, Dettaglio
Bombarda Andrea, Gargantini Angelo Michele; (2022) Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 74 - 81, https://doi.org/10.1109/ICSTW55395.2022.00027, Dettaglio
Bonfanti Silvia, Gargantini Angelo Michele; (2022) Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications, Biomedical Engineering Systems and Technologies: 14th International Joint Conference, BIOSTEC 2021, Virtual Event, February 11–13, 2021, Revised Selected Papers, pp. 139 - 157, https://doi.org/10.1007/978-3-031-20664-1_8, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Galbiati Cristiano, Gargantini Angelo Michele, Pelliccione Patrizio, Riccobene Elvinia, Wada Masayuki; (2022) Guidelines for the development of a critical software under emergency, INFORMATION AND SOFTWARE TECHNOLOGY, pp. 107061 - 107080, https://doi.org/10.1016/j.infsof.2022.107061, Dettaglio
Bonfanti Silvia, Bombarda Andrea, Gargantini Angelo Michele, Riccobene Elvinia, Pelliccione Patrizio; (2021) Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare, IL GIORNALE DELL'INGEGNERE, pp. 13 - 13, , Dettaglio
Arcaini Paolo, Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Riccobene Elvinia, Scandurra Patrizia; (2021) The ASMETA Approach to Safety Assurance of Software Systems, Logic, Computation and Rigorous Methods. Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 215 - 238, https://doi.org/10.1007/978-3-030-76020-5_13, Dettaglio
Gargantini Angelo Michele, Bonfanti Silvia; (2021) Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study, Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies. Volume 5: HEALTHINF, pp. 78 - 86, https://doi.org/10.5220/0010204000780086, Dettaglio
Arcaini Paolo, Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele; (2021) ROBY: A Tool for Robustness Analysis of Neural Network Classifiers, International Conference on Software Testing, Verification, and Validation, ICST, pp. 442 - 447, https://doi.org/10.1109/ICST49551.2021.00057, Dettaglio

Menu top

Anno accademico: 2023/2024

Anno accademico: 2022/2023

Anno accademico: 2021/2022

Orario ricevimento

Form di ricerca

Form di ricerca

Angelo Michele GARGANTINI

Anno accademico: 2023/2024

Anno accademico: 2022/2023

Anno accademico: 2021/2022

Orario ricevimento