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.