Dr. Angelo Gargantini

Dr. Angelo Gargantini graduated in Electronic Engineering in 1994 at Politecnico di Milano - Italy. 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.