GARGANTINI Angelo Michele

Current position
- Full professor at the University of Bergamo, Feb 2021 - present
Education
- PhD in Computer Science at the University of Catania, 2006
- PhD in Computer Science Engineering at the Politecnico of Milan, 2000
- Master in Electronic Engineering at the Politecnico of Milan, 1994
Research Interests
Formal methods for Software Engineering, especially specification, design, validation, verification, and testing of real-time and reactive systems. Model based testing, especially combinatorial interaction testing and logic testing. Dr. Gargantini's major contributions are:

• The use of model checkers for test generation. The paper with Connie Heitmeyer has more than 500 citations. It pioneered the use of verification techniques for test generation.

• In general, the use of verification techniques for test generation and validation. In particular, Dr. Gargantini has investigated the combinatorial interaction testing in the presence of constraints and the fault detection in Boolean expressions.

• Use of model driven engineering (MDE) applied to formal methods. Together with the team of the University of Milan, he has developed a tool set for the Abstract State Machines.

• Use of formal methods for the specification, formal and runtime verification, and validation of critical systems.