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 (42)
crypto10
ssl10
sourceforge10
codebuild10
model-checking10
c9910
cbmc10
cryptography10
aws-tools10
ansi-c10
git-clone10
encryption10
aws-codebuild10
svn9
continuous-integration9
Programming languages (6)
Github contributions (5)
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
angelonakos/s2n-tls
Jun 2022 - Jan 2023
An implementation of the TLS/SSL protocols
Contributions:36 PRs, 80 pushes, 26 branches in 7 months
ssltlsssl-tlstls13protocols
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.