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.

• Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, and Jeremy Siek. "Towards Absolutely Efficient Gradually Typed Languages" Scripts to Programs (STOP) 2015

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:

• Efficient Gradual Typing
  There is a tension between enabling interoperability between static and dynamic regions and achieving efficiency, especially in static regions of code. The purpose of our present work is to study the essential efficiency of gradual typing by constructing a prototype compiler in which we can implement approaches to minimizing overheads and carefully evaluate their impact on efficiency through empirical studies.
• Benchmarking register allocation algorithms in LLVM
  Back-end optimizations, including register allocation, are a critical part of an optimizing compiler. The goal of the project is to implement many register allocation algorithms and heuristics in LLVM and evaluate them in terms of many performance factors including compilation time, execution time, and code size.

Fall 2015	P538 Computer Networks
Spring 2015	P423/P523 Compilers Slides
Fall 2014	C211 Introduction to Computer Science