Danielle Stewart
Research Scientist at Galois, Inc.
Saint Paul, Minnesota, United States
Summary
👤
Senior🎓
Top SchoolDanielle Stewart is a research scientist at Galois with eight years of experience applying formal methods to safety- and security-critical cyber-physical systems. She holds a PhD in computer science from the University of Minnesota, where her work focused on behavioral fault analysis and formal verification for critical system development, building on a strong mathematical foundation from a master’s thesis in graph theory. Danielle has bridged academia and industry through roles at Adventium Labs, Collins Aerospace, and the German Aerospace Center, combining SW/HW co-design, model-based safety assessment, and formal verification in practical engineering contexts. Known for translating theoretical techniques into verifiable system designs, she brings both deep theory and hands-on systems experience to challenging assurance problems. Based in Saint Paul, MN, she pairs rigorous research with applied development to improve the safety and security of real-world systems.
8 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of MinnesotaHigh School Diploma, General Studies, High School Diploma, General Studies at Home SchoolAssociate of Arts and Sciences (A.A.S.), General Studies, Associate of Arts and Sciences (A.A.S.), General Studies at Lake Superior CollegeBachelor's Degree, Mathematics and Computer Science, Bachelor's Degree, Mathematics and Computer Science at University of Minnesota Duluth
German, English
Github Skills (1)
modeling8
Programming languages (1)
Github contributions (5)
daniellestewart/WPE
Sep 2017 - Apr 2018
Contributions:7 pushes, 1 branch in 6 months
daniellestewart/schriften
Mar 2025 - Mar 2025
Contributions:11 pushes, 1 branch in 9 days
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.