Thomas Wahl
Senior Principal Scientist at Trusted Science and Technology, Inc.
Rockville, Maryland, United States
Summary
🤩
Rockstar🎓
Top SchoolThomas Wahl is a Senior Principal Scientist specializing in formal software analysis, numeric computing, concurrent computation models, programming languages, and cybersecurity, with about 15 years of post-PhD research experience across ETH Zurich, Oxford, and Northeastern. He transitioned from a tenured academia role to applied cyber research in industry, serving as Principal Researcher at GrammaTech before joining Trusted Science and Technology to tackle DoD-focused reverse engineering and resilience problems. His recent DARPA-funded work on INGOTS and PWND^2 highlights a rare combination of rigorous formal methods and practical tooling for automated security and network anomaly detection. Based in Rockville, MD, he blends deep theoretical expertise with hands-on program leadership, routinely bridging academic rigor and mission-driven engineering.
8 years of coding experience
17 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of Texas at Austin
Github Skills (21)
asynchronous10
tla10
robotics10
verification10
abstraction10
model-checking10
fsm-library10
event-driven10
declarative-programming10
formal-verification10
state-machine10
automata10
programming-language9
distributed-systems9
formal-methods9
Programming languages (1)
Github contributions (1)
p-org/P
Apr 2018 - May 2018
The P programming language.
Contributions:52 pushes, 1 comment in 1 month
model-checkingcoq-librarytlaformal-verificationcompiler
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.