Lucas Wagner
Associate Director
Cedar Rapids, Iowa, United States
Summary
👤
Senior🎓
Top SchoolLucas Wagner is an Associate Director and formal methods practitioner with over two decades of experience in moving rigorous research into certified, production software for aerospace and cloud domains. He blends deep technical expertise in formal verification and certification with recent leadership roles at AWS and Collins Aerospace, guiding applied science teams to operationalize advanced algorithms. His career spans long-term research impact at Rockwell Collins/Collins Aerospace and fast-paced applied science management at AWS, showing a rare ability to translate safety-critical proof techniques into scalable engineering practices. Trained as an electrical engineer with graduate study at Iowa State and software engineering credentials from Stevens Institute, he pairs systems-level thinking with software delivery discipline. Based in Cedar Rapids, he is equally comfortable mentoring teams, setting technical strategy, and rolling up his sleeves to ship tooling that improves auditability and compliance. An uncommon strength is his track record of shepherding formal methods from lab prototypes into certified avionics workflows, bridging academic rigor and industrial pragmatism.
13 years of coding experience
23 years of employment as a software developer
Master of Science - MS, Electrical and Electronics Engineering, Master of Science - MS, Electrical and Electronics Engineering at Iowa State UniversityCertificate of Special Study, Software Engineering, Certificate of Special Study, Software Engineering at Stevens Institute of TechnologyBachelor's of Science in Engineering, Electrical and Electronics Engineering, Bachelor's of Science in Engineering, Electrical and Electronics Engineering at University of Iowa
Github Skills (24)
tla10
lustre10
model-state10
checker10
automata10
requirements-management9
model-checking9
quality-assurance9
perf9
specification9
risk-assessment9
yang9
requirements8
verification7
eclipse-plugin5
Programming languages (5)
Github contributions (5)
lgwagner/jkind
Mar 2017 - Feb 2020
Contributions:2 PRs, 11 pushes in 2 years 11 months
AFifarek/SpeAR
Jun 2014 - Mar 2016
Contributions:1 release, 177 commits, 4 PRs in 1 year 9 months
specification
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.