Colin Shea-blymyer
Research Fellow at Center for Security and Emerging Technology (CSET)
Washington, District of Columbia, United States
Summary
👤
Senior🎓
Top SchoolColin Shea-blymyer is a research-focused AI safety and security specialist with 12 years of experience bridging machine learning, formal methods, and cyber risk at institutions including CSET, MITRE, and Oregon State University. He holds a PhD in Computer Science and has published on safe reinforcement learning, formal verification, and AI ethics while teaching RL and AI “big ideas.” At CSET he applies technical depth to policy-relevant problems, drawing on prior adversarial ML work supporting the National Cybersecurity Center of Excellence. Colin’s background spans hands-on engineering—multiple software internships and development roles—to rigorous research, giving him a rare blend of practical systems experience and formal verification expertise. He maintains an academic portfolio of projects and papers online, underscoring a commitment to transparent, reproducible research that informs both security practice and policy.
12 years of coding experience
13 years of employment as a software developer
Bachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at Virginia TechDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Oregon State University
French, English
Github Skills (5)
storm7
python-bindings6
checker5
probabilistic4
python3
Programming languages (2)
Github contributions (5)
sabotagelab/MC-DAU
Aug 2020 - Aug 2020
Contributions:7 pushes, 1 branch in 1 day
jantzen/eugene
Feb 2015 - Jan 2020
Contributions:82 commits in 5 years
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.