Amer Tahat
Senior Engineer, Trusted Method, Collins Aerospace
State College, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolAmer Tahat is a Senior Engineer on the Trusted Methods team at Collins Aerospace with eight years of experience bridging academic research and applied engineering in aerospace and cybersecurity. He holds a PhD in Computational Science and Engineering and advanced professional credentials in data science, cloud computing, and cybersecurity from MIT, Stanford, and UT Austin, reflecting a rare combination of rigorous theory and practical tooling. Prior roles as assistant research professor and postdoctoral researcher at Virginia Tech and Penn State underscore his strength in formal methods, trustworthy systems, and reproducible research. At Collins he focuses on making complex, safety-critical systems auditable and reliable—translating formal techniques into deployable engineering practices. Colleagues would note his habit of pairing deep mathematical insight with pragmatic software delivery, often surfacing subtle failure modes before they reach production. Based in State College, PA, he brings an academic’s curiosity to industrial problems, consistently turning research-grade approaches into operational improvements.
8 years of coding experience
8 years of employment as a software developer
Master of Science - MS, Mathematics, Master of Science - MS, Mathematics at Michigan Technological UniversityPostgraduate Program in Cloud Computing, Cloud Computing, Postgraduate Program in Cloud Computing, Cloud Computing at The University of Texas at AustinMIT-Applied Data Science Program (MIT-ADSP), Data Science and Machine Learning, MIT-Applied Data Science Program (MIT-ADSP), Data Science and Machine Learning at MIT Professional EducationAdvanced Cybersecurity Program - Professional Ed, Cybersecurity, Advanced Cybersecurity Program - Professional Ed, Cybersecurity at Stanford University
Github Skills (6)
security8
reverse-engineering8
unix7
libc7
radare27
static-analysis6
Programming languages (1)
Github contributions (4)
ssrg-vt/renee-artifacts
Mar 2020 - Mar 2020
Contributions:10 commits, 10 pushes in 1 day
AmerNTahat/Public-Docs
Mar 2022 - Mar 2022
Contributions:1 push, 1 branch in 1 day
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.