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. The first steps of this research have already been completed, and we will be presenting our early results and our tool, InfraFix , at ISSTA later this month. InfraFix is a collaboration with Nuno Saavedra and Alexandra…