Ahmed Tamrawi

Title(s):

Office

Information

Ahmed Tamrawi is a software security researcher, educator, and full-stack developer with expertise in program analysis for enhancing the safety and security of complex systems. His work spans multiple domains, including verifying the security of critical software and detecting advanced algorithmic complexity issues and side-channel vulnerabilities. Ahmed has also contributed to high-profile U.S. Department of Defense DARPA initiatives, specifically the Automated Program Analysis for Cybersecurity (APAC) and Space/Time Analysis for Cybersecurity (STAC) programs, where he helped pioneer solutions in automated program analysis.

Along serving as a part-time lecturer at Iowa State University, Ahmed is currently a research scientist at EnSoft Corp. At EnSoft, he is focused on advancing Atlas, an innovative program analysis platform, and Simhance, a tool to modenize Simulink models and check for their compliance. His professional experience includes roles as an assistant professor at Birzeit University and Yarmouk University, software development engineer intern at Amazon, research and teaching assistant at Iowa State University, research and development engineer at G.ho.st, and software development engineer intern at MBRM.

Ahmed holds both a Ph.D. and M.S. in Computer Engineering from Iowa State University and a B.S. in Computer Engineering from Yarmouk University.

Departments

Affiliations

Interests