Ramana Nagasamudram
Applied Scientist at Stevens Institute of Technology
Cambridge, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolRamana Nagasamudram is an Applied Scientist with nine years of technical experience, currently working in AWS's Automated Reasoning Group and completing a PhD in Computer Science at Stevens Institute of Technology. His research focuses on auto-active relational verification and alignment completeness, bringing formal methods and program verification principles to practical tooling. He has a strong teaching and mentorship background in programming languages, algorithms, and type systems, and prior industry experience maintaining complex Java-based CAD conversion systems. Ramana combines a mechanical engineering undergraduate foundation with rigorous CS training (MS with a 4.0 and ongoing PhD), enabling him to tackle cross-disciplinary engineering problems. He has built automated analysis tools for 3D design remixing and ranking, demonstrating an ability to turn research prototypes into user-facing systems. Based in Cambridge, MA, he blends deep theoretical expertise with hands-on implementation in automated reasoning and software verification.
9 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Mechanical Engineering, Bachelor of Science - BS, Mechanical Engineering at University at BuffaloDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Stevens Institute of Technology
English, Hindi, Telugu
Github Skills (14)
css10
javascript10
artificial-intelligence10
web-developer10
coder10
semantic-diff9
notebook6
simulated-annealing6
jupyter-notebook6
jupyter5
python5
machine-learning3
manipulator3
cypress2
Programming languages (4)
Github contributions (5)
dnaumann/RelRL
Oct 2020 - Oct 2024
Contributions:91 pushes, 3 branches in 4 years 1 month
khayyamsaleem/gradual-typing
Apr 2018 - Jul 2018
Contributions:51 commits, 36 pushes, 1 branch in 2 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.