Anne M. Tumlin

prof_pic.jpg

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! :sparkles: :smile: