School of Informatics and Computing
Indiana University Bloomington
I am a Ph.D. student in Computer Science at Indiana University working with Prof. Jeremy Siek on efficient compilation of gradually-typed programs. Prior to graduate school, I was working at MESC for Research and Development, an Egyptian start up, advised by Dr. Waleed Yousef and obtained my B.Sc. from Helwan University advised by Dr. Mohamed Alaggan.
I am generally interested in compilers, compiler correctness, gradual typing, dependent types, and program verification. Here are my currently active projects, in no particular order:
1. The key expires every year, make sure you have the most recent one. ↩
Last Updated: 09-16-2015