Aleksey Nogin
Formal Methods Engineer, Software Accelerator
Metropolitan Fresno United States
Summary
🤩
Rockstar🎓
Top SchoolAleksey Nogin is a Formal Methods Engineer and software research leader with 12 years of experience building high-assurance systems and steering large-scale cybersecurity research programs. He has led research portfolios totaling tens of millions in funding across DARPA, DoD, DHS, ARPA-H, and NSF efforts, transitioning formal verification and hardware/software reverse-engineering technologies toward operational use. Former Head of Research at Red Balloon Security and long-time principal investigator at HRL, he combines deep academic roots (PhD from Cornell) in logical frameworks and theorem proving with practical program and project management. Now at Leidos, he focuses on accelerating the application of formal methods in software development for safety- and security-critical systems. An underappreciated strength is his track record of turning esoteric formal tools into deployable toolchains and funded programs that bridge research and engineering.
12 years of coding experience
21 years of employment as a software developer
Ph.D. Computer Science, Ph.D. Computer Science at Cornell UniversityMathematics, Mathematics at Московская государственная Пятьдесят седьмая школаLomonosov Moscow State University
English, Russian
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (158)
unpack10
firmware10
ros10
editor10
electron10
typescript10
git-workflow10
moveit10
visual-studio-code10
ctf10
microsoft10
agentic10
binaries10
repack10
reverse-engineering10
Programming languages (19)
Github contributions (5)
jaredgonzales/fusion360descriptor
Apr 2024 - Jan 2026
A URDF Exporter for Fusion 360
Contributions:1 review, 1 PR, 77 pushes in 1 year 9 months
urdf
ANogin/ofrak
Jan 2023 - Feb 2026
OFRAK: unpack, modify, and repack binaries.
Contributions:1 PR, 109 pushes, 45 branches in 3 years 1 month
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.