Home Page of Alberto Griggio

Contact

Researcher at Fondazione Bruno Kessler (FBK), Embedded Systems Unit, led by Stefano Tonetta.

From October 2005 to December 2009, I was a PhD student at DISI, University of Trento, supervised by Roberto Sebastiani

email: griggio[at]fbk.eu
My GPG public key.

Research Interests

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 team.
List of publications.

Professional Activities

PC member of FMCAD 2024.
PC member of TACAS 2024.
PC member of AAAI 2024.
PC member of FMCAD 2023.
PC member of CADE 2023.
PC chair of FMCAD 2022.
PC member of ATVA 2021.
PC member of SMT 2021.
PC member of SOCS 2021.
Guest editor of the special issue on Symbolic computation and satisfiability checking of the Journal of Symbolic Computation.
PC member of FMCAD 2020.
PC member of SMT 2020.
PC member of HCVS 2020.
PC member of InterAVT 2020.
PC member of CONCUR 2020.
PC member of VMCAI 2020.
PC member of FMCAD 2019.
PC member of FMCAD 2018.
Lecturer at the SAT/SMT/AR Summer School 2018.
Guest editor of the special issue on Recent topics in SMT of Formal Methods in System Design.
PC member of CAV 2018.
Workshop Chair and PC member of IJCAR 2018.
PC member of the SC^2 2017 workshop.
Lecturer at the Verification Mentoring Workshop of CAV 2017. Slides.
Co-chair of the HCVS 2017 workshop.
Publicity chair of SEFM 2017.
PC member of HVC 2017.
PC member of SMT 2017.
PC member of LPAR 21.
PC member of SAS 2017.
PC member of NFM 2017.
Lecturer at the First Indian SAT/SMT School.
PC member of DATE 2017.
PC member of SC^2 workshop.
PC member of SMT 2016.
PC member of PAAR 2016.
Lecturer at VTSA Summer School 2015.
PC member of HVC 2015.
PC member of DIFTS 2015.
Lecturer at SAT/SMT Summer School 2015.
PC member of SMT 2015.
PC member of DIFTS 2014.
Lecturer at SAT/SMT Summer School 2014.
PC member of SMT 2014.
PC member of PAAR 2014.
PC member of LPAR-19.
PC member of FMCAD 2013.
Co-organizer of SMT 2013.
Co-organizer of AVM 2013.
Co-organizer of the 2nd SAT/SMT summer school.
PC member of PAAR 2012.
PC member of COMPARE 2012.
Co-organizer of SMT-COMP 2012.
Co-organizer of SMT-COMP 2011.

Software I have been involved in

MathSAT 5, an SMT solver, and its predecessor MathSAT 4.
The symbolic model checker nuXmv.
IC3ia, a simple, open source IC3-based model checker for infinite-state systems.
smtlib2parser, a parser for the SMT-LIB v2 language.
CPAchecker, a tool for Configurable Software Verification.
Matita, an interactive theorem prover (proof assistant).

griggio[at]fbk.eu