| Jul 1, 2026 | My paper Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features was accepted for presentation at SAIV 2026. |
| Apr 9, 2026 | Gave guest lectures on formal verification of neural networks and graph neural network verification for Vanderbilt’s Formal Methods course, April 7 & 9, 2026. |
| Feb 2, 2026 | Gave a guest lecture on fairness in machine learning and fairness verification for Vanderbilt’s Data Science Rights and Responsibilities course. |
| Jan 12, 2026 | Began a year-round internship with Sandia National Laboratories, extending my summer practicum to bring verification and assurance approaches to the FACETS project. |
| Dec 11, 2025 | Completed all coursework on my PhD Program of Study (POS). |
| Aug 15, 2025 | Completed my summer practicum at Sandia National Laboratories on the FACETS project, contributing to the cyber-physical data integration of the tool base and testing autoencoders. |
| Jul 24, 2025 | Gave a guest talk at Los Alamos National Laboratory on my research in graph neural network verification. |
| Jul 17, 2025 | Presented a poster on graph neural network verification at the DOE CSGF Annual Program Review, July 13–17, 2025. |
| Mar 11, 2025 | Presented poster at the Software for National Security Partnership Forum (SPF-25) titled Toward Graph Neural Network Verification: Analyzing the Robustness of Graph-Based Models. |
| Mar 4, 2025 | Accepted for practicum research at Sandia National Laboratories for Summer 2025, working on the FACETS project (Flexible, Autonomous, and Cyber-Physical Ecosystem for Trusted Security). |
| Feb 5, 2025 | Gave a guest lecture on Fairness in Machine Learning for the Data Science Rights and Responsibilities course. |
| Nov 17, 2024 | Gave an oral presentation of FairNNV at the 5th ACM International Conference on AI in Finance (ICAIF ’24) in New York City. |
| Nov 14, 2024 | Paper FairNNV: The Neural Network Verification Tool for Certifying Fairness accepted to ICAIF ‘24. |
| Oct 25, 2024 | Delivered a guest lecture on Fairness in Machine Learning as part of Vanderbilt’s AI Training Series. Event Link |
| Oct 22, 2024 | Passed the Computer Science PhD Preliminary Examination. |
| Sep 24, 2024 | Paper Verification of Behavior Trees with Contingency Monitors accepted to FMAS 2024, as part of the DARPA ANSR Project. |
| Sep 6, 2024 | Elected as Vice President of the Computer Science Graduate Student Association. |
| Jul 14, 2024 | Attended the DOE CSGF Annual Program Review, July 14–18, 2024. |
| Apr 5, 2024 | Selected for the 2024 Cohort of the Department of Energy Computational Science Graduate Fellowship (DOE CSGF). |
| Aug 15, 2023 | I started my first semester at Vanderbilt as a Computer Science Ph.D. student!   |