Alejandro Mestanza
Cyber Physical Systems Security Researcher at The Johns Hopkins University Applied Physics Laboratory
Washington DC-Baltimore Area United States
Summary
👤
Senior🎓
Top SchoolAlejandro Mestanza is a cyber-physical systems security researcher with eight years of hands-on experience in cybersecurity engineering, currently focused at Johns Hopkins APL. He blends practical skills in Python, BELK stack, virtualization and offensive/defensive tooling with formal-methods experience using Coq and Dafny, a combination that informs rigorous, verifiable designs for safety-critical systems. His background spans applied research—co-authoring work on gzip library manipulation—and operational security, including migrating servers to hypervisors and building multi-user demos of vulnerable HMIs. Holding active TS clearance and a master’s in computer science, he excels at translating academic techniques into deployable security solutions for cyber-physical environments.
8 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Computer Science, 3.56/4.00, Bachelor's degree, Computer Science, 3.56/4.00 at The University of Texas at DallasHigh School, 3.89/4.00, High School, 3.89/4.00 at R.L. Turner High School
English, Spanish
Github Skills (4)
spring2
spring-boot2
game-engine1
java1
Programming languages (1)
Github contributions (5)
alejmest/Hackathon-TunaMelt2018
Feb 2018 - Feb 2018
Contributions:6 PRs, 17 pushes, 3 branches in 6 days
spring-bootspring
alejmest/AOSp3
Nov 2019 - Nov 2019
Contributions:7 pushes, 3 branches in 7 days
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.