Bestavros – Computer Science

Azer Bestavros
Options: Volunteer Basis, Potential for UROP Funding, Potential for Work-Study

Verificare Project Website Development
Expected number of students: 2
The Verificare Project is an ongoing effort to develop reusable, automated formal modeling and verification tools for the design of distributed systems. The project’s current work and completed tools should have a strong web presence in order to attract users in the research community. Students working on this project will design a public website for Verificare, including publication histories, interactive demos, tool documentation, and a database of completed models and requirements. Familiarity with formal modeling and verification would be useful for documentation purposes, but is not required. This is purely a web-development role.