AI for Software Verification
AI for Software Verification
AI for Software Verification: This project will design and build software verification environments that leverage AI techniques to generate required specifications. To be considered for this team, please click this card and send your resume/CV to the faculty mentor.
Faculty Mentor:
Detailed Description
Relevant Technologies
- large language models
- software verification
- software engineering
Pre-requisite knowledge/skills:
Students must have experience with C programming. Additionally, students must complete an application that must be accepted before joining this team.
Website:
https://engineering.purdue.edu/QuantumOptics