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, and currently completing my practicum at Sandia National Laboratories, contributing to secure systems for cyber-physical situational awareness.
news
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! ![]() ![]() |