Mary Caton
Senior Curator
Nashville-Davidson, Tennessee, United States
Summary
👤
Senior🎓
Top SchoolAnne Tumlin is a Ph.D. candidate in Computer Science at Vanderbilt University, researching the security and reliability of neural networks through formal methods and verification. She is a DOE Computational Science Graduate Fellowship (CSGF) recipient and a Russell G. Hamilton Scholar, underscoring her rigorous scholarship and potential. As a graduate research assistant at Vanderbilt’s VeriVITAL and NDS Labs, she collaborates on AI safety initiatives while contributing to foundational verification research. She also serves as a Graduate Research Assistant at Sandia National Laboratories, a role she began in 2025, bridging academic research with national-lab innovation. Based in Nashville, her career spans teaching and research across USC, NYIT, Vanderbilt, and Sandia, and she maintains a personal site at atumlin.github.io to showcase her work.
10 years of coding experience
10 years of employment as a software developer
M.A., American Material Culture, History, M.A., American Material Culture, History at University of Delaware, Winterthur ProgramUniversity of California, Los Angeles
Github Skills (1)
communications5
Github contributions (5)
MaryAnneC/workshops
Sep 2016 - Jun 2017
Contributions:3 PRs, 37 pushes, 8 branches in 9 months
scholarlycommunicationsscholarly-communications
MaryAnneC/Hello-World-in-2017
Mar 2016 - Jan 2017
Contributions:6 PRs, 9 pushes, 7 branches in 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.