SafeIaC: Reliable Analysis and Automated Repair for Infrastructure as Code
I’m pleased to announce SafeIaC, a new project on reliable analysis and automated repair for Infrastructure as Code, funded by Fundação para a Ciência e a Tecnologia (FCT).
Infrastructure as Code makes it possible to configure and manage computing infrastructure through code. But mistakes in that code can cause outages, expose sensitive data, or leave systems behaving differently from what their developers intended.
SafeIaC aims to develop analysis and repair techniques that work across different infrastructure languages and provide formal correctness guarantees. We will investigate problems including configuration inconsistencies, dependency errors, and configuration drift, where a running system no longer matches its declared configuration.
I am the Principal Investigator at INESC-ID, and Alexandra Mendes leads the project at INESC TEC.
We are also recruiting two PhD students, with one position focused on analysis and detection and the other on automated repair. If combining AI and formal methods to improve infrastructure reliability interests you, get in touch!
Related Links
Computer Scientist
My research interests include software reliability, software verification, and formal methods applied to software engineering. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn. See also the Software Reliability Lab website.