Ahmed Tamrawi Email & Phone Number

Ahmed Tamrawi is a Software Security researcher and instructor, and a full-stack developer. He has extensive experience in program analysis to detect novel and sophisticated algorithmic complexity and side channel attacks in Java applications and malware in Android applications. Ahmed has experience in working on two high profile DARPA programs: APAC and STAC programs. He served on the ISU team as an analyst for DARPA’s Automated Program Analysis for Cybersecurity (APAC) program. Currently, he is serving on the EnSoft team on DARPA’s Space/Time Analysis for Cybersecurity (STAC) program.Ahmed holds a PhD and MSc degrees in Computer Engineering from Iowa State University, and B.S in Computer Engineering from Yarmouk University. His MSc research was focused on developing novel bug triaging and build code analyses. His PhD research has yield to the development of a novel compact software graph called the Projected Control Graph and the design of the L-SAP tool for fast, scalable, and efficient evidence-enabled verification for the Linux kernel.Ahmed is currently a research scientist at EnSoft Corp. working on advancing Atlas, a novel program analysis platform, and Modelify, a conversion tool from C code to Simulink models. His past work experience includes: assistant professor at Yarmouk University, a software development engineer intern at Amazon, a research and teaching assistant at Iowa State University, research and development engineer at G.ho.st, and software development engineer intern at MBRM

Listed skills include Software Analysis, Software Security, Software Project Management, Software Development, and 1 others.