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 (200)
unpack10
firmware10
copilot10
ros10
jetbrains10
robotics10
astar10
robot-control10
moveit10
intellij10
gazebosim10
ctf10
repack10
robot10
pycharm10
Programming languages (18)
Github contributions (5)
ANogin/ofrak
Jan 2023 - Jan 2025
OFRAK: unpack, modify, and repack binaries.
Contributions:1 PR, 100 pushes, 38 branches in 2 years
jaredgonzales/fusion360descriptor
Apr 2024 - Feb 2025
A URDF Exporter for Fusion 360
Contributions:1 PR, 71 pushes, 1 branch in 10 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.