Blog

Awarded an Amazon Research Award on Automated Reasoning!
ACM SIGSOFT Distinguished Paper Award at ICSE 2025

InfraGov: New Funded Project on Reliable and Secure IT Infrastructure

I am very pleased to announce that we secured funding for the InfraGov project, a new research project funded to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.

InfraGov: New Funded Project on Reliable and Secure IT Infrastructure
SmartBugs: An Execution Framework for Automated Analysis of Smart Contracts
An Improved Proof of the Handshaking Lemma