Projects

InfraGov: A Public Framework for Reliable and Secure IT Infrastructure

As Public Administration services move to digital platforms, the reliability and security of IT infrastructure become even more critical to ensure seamless service delivery, safeguard citizens’ personal information, and maintain public trust in governmental systems.

VeriFixer: Automated Repair of Verification-Aware Languages

VeriFixer aims to assist programmers in fixing code issues identified by software verifiers, a task that remains largely manual despite advancements in automatic program repair.