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 Mendes.
If you are looking for research positions on this topic, get in touch! I have several positions to offer. See also the opportunities page.
Many thanks to Amazon Science for supporting this research! It’s a recognition of the work that we do at the Software Reliability Lab!
You can read more about the program and see the full list of recipients here: 70 Amazon Research Award recipients announced
Learn more about the program on the Amazon Science website.
Related News and Mentions
- 70 Amazon Research Award recipients announced
- Software Reliability Lab announcement
- CMU Portugal Visiting Researchers won Amazon Research Award
- Instituto Superior Técnico (DEI): DEI Professor wins Amazon Research Award in Automated Reasoning
- INESC-ID: João Ferreira wins Amazon Research Award for work on Automated Program Repair
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.