The Laboratory for Advanced Software Engineering Research (LASER) focuses on improving the state of the art of building software systems. We accomplish this by developing techniques to automate program analysis, program repair, and program verification.
Project Description
One of the most challenging tasks in software engineering is formally proving that software does what it is supposed to do. This is called software verification. This project will introduce students to verification tools and develop new methods for fully automating verification.
Learning Outcomes
The students will learn how to verify software systems, and build tools that use machine learning to automate software proof synthesis.