Alberto Griggio

Alberto Griggio is a Researcher in the Embedded Systems Unit at Fondazione Bruno Kessler (FBK). His research interests include automated reasoning, satisfiability checking (SAT), satisfiability modulo theories (SMT), and their applications in formal verification. He has developed decision procedures for SMT and algorithms for model checking of both finite and infinite-state systems. He has also participated in various technology transfer projects which successfully applied formal methods in industrial contexts. He is the main developer of the MathSAT SMT solver and the current maintainer of the nuXmv symbolic model checker.

We recommend

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

ISBN: 978-3-85448-053-2
Added to cart.
Accept
Decline