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 C. Nogueira, S., Teodorov, C. (eds) Formal Methods: Foundations and Applications. SBMF 2024. Lecture Notes in Computer Science, vol 15403. Springer, Cham.

  Coq developments

  slides

• 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