Alberto Griggio ist Forscher in der Abteilung für eingebettete Systeme der Fondazione Bruno Kessler (FBK). Seine Forschungsinteressen umfassen automatisiertes Schlussfolgern, Erfüllbarkeitsprüfungen (SAT), Erfüllbarkeit-Modulo-Theorien (SMT) und deren Anwendungen in der formalen Verifikation. Er hat Entscheidungsverfahren für SMT und Algorithmen für die Modellprüfung von Systemen mit endlichen und unendlichen Zuständen entwickelt. Er hat auch an verschiedenen Technologietransferprojekten teilgenommen, bei denen formale Methoden erfolgreich in industriellen Kontexten angewendet wurden. Er ist der Hauptentwickler des MathSAT SMT-Lösers und der derzeitige Betreuer des symbolischen Modellprüfers nuXmv.