Amy Rathore
Principal Software Engineer, With Honors at RTX
Buffalo, New York, United States
Summary
👤
Senior🎓
Top SchoolAmy Rathore is a Principal Software Engineer with a PhD in Computer Science and nearly a decade of experience at the intersection of programming languages, formal verification, and compilers. She leads applied research and secure systems engineering at RTX after advancing secure multi-party computation compilers and formal proofs during her PhD at the University at Buffalo. Amy combines hands-on systems work—Dockerized compiler toolchains and verified semantics—with practical embedded and cyber engineering at Raytheon/RTX, enabling security and performance gains in real-world deployments. A former NCOIC in the New York Army National Guard, she brings disciplined leadership and mentorship to technical teams and workshops. Her open-source teaching materials and SMC compiler artifacts reflect a commitment to reproducibility and developer education beyond typical engineering deliverables.
9 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science and Engineering, 3.7/4.0, Doctor of Philosophy - PhD, Computer Science and Engineering, 3.7/4.0 at University at Buffalo
English, Spanish
Github Skills (13)
java5
percentage5
javascript4
cpp4
data-structures4
android-ui4
kotlin4
python4
android-library3
android3
mobile2
data-visualization2
data-driven2
Programming languages (2)
Github contributions (5)
MemoryGroup/442repo
Sep 2016 - Dec 2016
Contributions:7 releases, 584 commits, 8 PRs in 3 months
amypritc/COQ-Tutorial
Dec 2019 - Feb 2020
Contributions:30 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.