Home Page of Alberto Griggio
Post-Doctoral researcher at Fondazione Bruno Kessler (FBK), Embedded Systems Unit,
led by Alessandro Cimatti.
From October 2005 to December 2009, I was a PhD student at DISI, University of Trento, supervised by Roberto Sebastiani
- Currently: Formal methods, SAT and SAT modulo theories
(SMT), model checking.
- In the past: Interactive and automated theorem proving,
security, process algebras (pi-calculus).
- Member of the MathSAT
- List of publications.
Software I have been involved in