I am a Ph.D. Candidate in the Electrical and Computer Engineering at Virginia Tech. I received the FMCAD best paper award in 2013. Completed both my B.Sc. and M.Sc. with GPA 4.0/4.0 from AAST, Egypt. My main research interests are program synthesis, verification and embedded security. I have developed several practically scalable security tools for verification and synthesis of cryptographic attacks and attack countermeasures and other tools for synthesis of optimal embedded control software.