Anne M. Tumlin
Institute for Software Integrated Systems
1025 16th Avenue South
Nashville, TN 37212
Ph.D. Student in Computer Science, DOE CSGF Fellow, Vanderbilt University, Sandia National Laboratories
I’m a Ph.D. student in Computer Science at Vanderbilt University, where I work at the intersection of artificial intelligence, formal methods, and cyber-physical systems. As a Department of Energy Computational Science Graduate Fellow (DOE CSGF), my research focuses on ensuring the robustness and trustworthiness of machine learning models used in safety-critical domains like the smart grid.
My work explores formal verification techniques for graph neural networks (GNNs) in power systems, particularly for tasks like power flow prediction and false data injection attack detection. I’m also passionate about algorithmic fairness in machine learning and have developed tools for certifying fairness properties in neural networks.
I’m a graduate research assistant in both Vanderbilt’s VeriVITAL Lab and Network and Data Science Lab. Through a summer practicum and an ongoing year-round internship with Sandia National Laboratories, I contribute to the FACETS project, bringing verification and assurance approaches to secure systems for cyber-physical situational awareness.
news
| 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!   |