People

Current

• Nadeem Abdul Hamid, Associate Professor
• Great Abhieyighan, Undergraduate Research Assistant
• Savannah Laudicina, Undergraduate Research Associate
• Dawson Sherwood, Undergraduate Research Assistant
• Bernny Velasquez, Lead Undergraduate Research Associate
• Bella Vos, Undergraduate Research Assistant

Alumni

• Matthew Bowker, Undergraduate Research Assistant
• Jessica Herring, Undergraduate Research Assistant

Projects

• Formal verification of KNN-search-based classification algorithm
• Automated reasoning for the permutation relation on lists

Publications

• Bernny Velasquez, Jessica Herring, and Nadeem Abdul Hamid. Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm. in submission
• Nadeem Abdul Hamid. 2024. (Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq. In Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing (SAC ‘24) [Software Verification and Testing (SVT) track]. Coq developments arxiv preprint slides