Reliable DevOps
We work on methods and tools to increase the reliability of Infrastructure as Code artifacts. See the posts and publications below for more details.
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.
Posts
Awarded an Amazon Research Award on Automated Reasoning!
I’m excited to share that I’ve received an Amazon Research Award on Automated Reasoning! The award will support my research on automated program repair for Infrastructure as Code.
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.
Publications
🏆 Awarded: Artifact Evaluation Award (Reusable).