Summary
Tamjid Rahat is an applied scientist with nine years of experience building automated, security-focused software and ML solutions, now working on scalable proactive security systems at AWS. His academic work spans program analysis, formal verification, and program synthesis—bridging rigorous research from UVA and UCLA with practical tooling to detect and remediate security issues. He has taught and developed curricula on emerging security analysis for mobile, network, and IoT systems, and previously built ML analytics for financial data and production Android/VOIP applications. Comfortable moving models from research into production, he combines a deep theoretical background with hands-on engineering across cloud, mobile, and security domains. An often-overlooked strength is his knack for translating formal methods into automated pipelines that scale in real-world cloud environments.
9 years of coding experience
10 years of employment as a software developer
Bachelor of Science (B.Sc.) Computer Science, Bachelor of Science (B.Sc.) Computer Science at Bangladesh University of Engineering and Technology
University of California, Los Angeles
Master of Science - MS Computer Science, Master of Science - MS Computer Science at University of Virginia