Angelo Nakos
Software Development Engineer at Amazon Web Services (AWS)
Washington DC-Baltimore Area United States
Summary
🤩
Rockstar🎓
Top SchoolAngelo Nakos is a software development engineer with 11 years of experience building cloud-native full-stack systems, currently working on Proof Infrastructure in AWS’s Automated Reasoning Group. He brings deep practical knowledge of AWS services, Java Spring Boot microservices, and modern front-end frameworks from prior roles developing fleet-monitoring applications for GE Aviation. His background spans security-minded tooling and data pipeline optimization—having led projects to scan and remediate sensitive code exposures and to accelerate ERP data ingestion into enterprise data lakes. Angelo combines academic rigor from an M.S. in Computer Science with hands-on prototyping experience in embedded systems and computer vision, and he has a creative side in animation with After Effects. Colleagues would describe him as a pragmatic engineer who translates complex requirements into reliable, production-grade solutions across the stack.
11 years of coding experience
5 years of employment as a software developer
Master of Science (M.Sc.) Computer Science, Master of Science (M.Sc.) Computer Science at Brown University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (75)
stater-kit10
fhe10
c9910
cbmc10
ansi-c10
git-clone10
encryption10
crypto10
codebuild10
sketchup10
aws-codebuild10
svn10
protocols10
ssl10
sourceforge10
Programming languages (6)
Github contributions (5)
model-checking/cbmc-starter-kit
Jul 2021 - Jan 2023
The CBMC starter kit makes it easy to add CBMC verification to a software project.
Contributions:109 reviews, 51 commits, 40 PRs in 1 year 5 months
cbmcstaterstater-kitverificationansi-c
angelonakos/cbmc-starter-kit
May 2022 - Jan 2023
The CBMC stater kit makes it easy to add CBMC verification to a software project.
Contributions:5 PRs, 73 pushes, 36 branches in 8 months
cbmcstaterstater-kitverification
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.