Sam Procter
Principal Architecture Researcher at Software Engineering Institute | Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolSam Procter is a Principal Architecture Researcher with 13 years of experience leading model-based engineering research and applied projects at Carnegie Mellon University's Software Engineering Institute. He directs work on hazard and security analyses, model checking, and model-driven development, managing teams that translate rigorous academic methods into customer-facing solutions. His background includes building model checkers and development environments for medical device coordination during his graduate studies, reflecting deep hands-on expertise in safety-critical systems. Based in Pittsburgh, he combines PhD-level research with practical team leadership, bridging formal methods and real-world engineering to make architectures auditable and resilient. An uncommon strength is his track record of moving tools from prototype (e.g., model checkers and IDEs) into operational use in regulated domains.
12 years of coding experience
19 years of employment as a software developer
B.S., Computer Science, B.S., Computer Science at University of Nebraska-LincolnPhD, Computer Science, PhD, Computer Science at Kansas State University
English
Stackoverflow
33reputation
50kreached
0answers
1question
Github Skills (11)
visualizer8
explore8
forloop6
python6
modeling3
plugin2
statistics1
verification1
pygments1
slang1
lexer1
Programming languages (5)
Github contributions (5)
santoslab/aadl-map-apps
Nov 2014 - Dec 2016
Contributions:35 commits, 25 pushes, 2 branches in 2 years
santoslab/aadl-translator
Dec 2013 - Aug 2016
Contributions:296 commits, 111 pushes, 7 branches in 2 years 8 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.