Full Name:
Cherif Ramzi Salama Andraos Kozman Salama
Academic Rank:
Assistant Professor
ASU Email:
cherif.salama@eng.asu.edu.eg
Departmment:
Computer and Systems Engineering
Graduation Year:
2001

- Unit head of the Computer Engineering and Software Systems (CESS) program, Credit Hours Engineering Programs (CHEP), Faculty of Engineering, Ain Shams University.

- Associate professor in the Computer and Systems Engineering (CSE) department, Faculty of Engineering of Ain Shams University, Cairo, Egypt.


Degrees:
- Ph.D. in Computer Science, Rice University, Houston, TX, USA 2010

- M.Sc. in Electrical Engineering (Computer and Systems Engineering), Faculty of Engineering, Ain Shams University, Cairo, Egypt 2006

- B.Sc. in Electrical Engineering (Computer and Systems Engineering), Faculty of Engineering, Ain Shams University, Cairo, Egypt 2001
Awards:
- Research Assistantship Rice University, Houston, TX, USA 2007-2010

- Fellowship Rice University, Houston, TX, USA 2006-2007
Books:
- Mohamed Ibrahim, Cherif Salama, M. Watheq El-Kharashi, and Ayman Wahba. Chapter “Pin Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-based Routing Algorithm”, Computational Intelligence in Electronic Design, Volume 2, Chapter 10: 271–294, Springer 2015
Published Research:
- Ahmed El-Serafy, Cherif Salama, and Ayman Wahba. "Automatic Test Data Generation Targeting Hybrid Coverage Criteria", Communications in Computer and Information Science, Springer, Volume 532, pp 149-160, September 2015.

- Ghada El-Sayed, Cherif Salama, and Ayman Wahba. "Optimization of Generated Test Data for MC/DC", Communications in Computer and Information Science, Springer, Volume 532, pp 161-172, September 2015.

- Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, and John O’Leary. "Static consistency checking for Verilog wire interconnects: Using dependent types to check the sanity of Verilog descriptions", Higher-Order and Symbolic Computation (HOSC) Journal, Volume 24, Issue 1, pp 81-114, June 2011.

- Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, and John O’Leary. "Synthesizable high level hardware descriptions", New Generation Computing Journal (NGCJ), Volume 28, Issue 4, pp 339-369, October 2010.

- Manal Zaky, Cherif Andraos, and Salma Ghoneim. "New approximate strategies for playing sum games based on subgame types", International Computer Games Association journal (ICGA), Volume 29, Issue 4, pp 191-198, December 2006.
Published Research in Confernces:
- Marwa Elmenyawi, Mostafa Ibrahim, Cherif Salama, and Ismail Hafez, “CGL: A domain specific language for constraint generation” ICCES' 2015: The tenth International Conference on Computer Engineering & Systems, Cairo, Egypt 2015.

- Doaa Medhat, Ahmed Hassan, and Cherif Salama, “A Hybrid Cross-language name matching technique using novel modified Levenshtein distance” ICCES' 2015: The tenth International Conference on Computer Engineering & Systems, Cairo, Egypt 2015

- Ramy Boghdady, Cherif Salama, and Ayaman Wahba, “GPU-accelerated real-time video background subtraction” ICCES' 2015: The tenth International Conference on Computer Engineering & Systems, Cairo, Egypt 2015

- Ahmed El-Serafy, Ghada El-Sayed, Cherif Salama, Ayman Wahba. “Enhanced Genetic Algorithm for MC/DC Test Data Generation” INISTA’15: The 2015 International Symposium on INnovations in Intelligent SysTems and Applications, Madrid, Spain 2015

- Cherif Salama and Walid Taha. “Increasing Verilog’s Generative Power”. In DUHDe’14: Workshop on Design Automation for Understanding Hardware Designs, Dresden, Germany, March 2014.

- Cherif Salama and Walid Taha. “A proposal for a more generic, more accountable, Verilog”. In DCC’10: Designing Correct Circuits, Paphos, Cyprus, March 2010.

- Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Marcia O’Malley, Robert Cartwright, Aaron Ames, and Raktim Bhattacharya. “Mathematical equations as executable models of mechanical systems”. In ICCPS ’10: ACM/IEEE International Conference on Cyber-Physical Systems, Stockholm, Sweden, April 2010.

- Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, and John
O’Leary. "Static consistency checking for Verilog wire interconnects: Using
dependent types to check the sanity of Verilog descriptions". In PEPM ’09:
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation
and program manipulation, pages 121–130, New York, NY, USA, 2009.
ACM.

- Cherif Salama, Walid Taha, Jim Grundy, and John O’Leary. "The VPP
verilog preprocessor." In HFL ’09: Hardware design and Functional Languages, 2009.

- Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu,
Walid Taha, Jim Grundy, and John O’Leary. "Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee Verilog synthesizability". In PEPM ’08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pages 41–50, New York, NY, USA, 2008. ACM.

- Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu,
Walid Taha, Jim Grundy, and John O’Leary. "Formalizing and enhancing
Verilog". In TECHCON ’07: Technology and Talent for the 21st Century,
2007.

- Cherif Andraos, Jennifer Gillenwater, Gregory Malecha, Angela Yun
Zhu, Walid Taha, Jim Grundy, and John O’Leary. "Synthesizable Verilog".
In HFL ’07: Hardware design and Functional Languages, 2007.

- Cherif Andraos, Manal Zaky, and Salma Ghoneim. "Comparative study
of approximate strategies for playing sum games based on subgame types". In P. Ciancarini and H.J. van den Herik, editors, CG ’06: International Conference on Computer and Games, 2006.

- Manal Zaky, Cherif Andraos, and Salma Ghoneim. "New approximate
strategies for playing sum games based on subgame types". In ICCES ’06:
International Conference on Computer Engineering and Systems, 2006.

Educational and Research Projects:
- The Verilog Preprocessor, a research project funded by Intel Corporation through the Semiconductor Research Corporation (SRC), 2010-2014
Consulting and Engineering Projects:
- Worked as a part-time projects consultant for the ICTP
Supervised Thesis:
- Co-supervised 4 M.Sc. degrees

- Currently supervising 6 M.Sc. and 2 Ph.D students
Other:
- Worked as a part time lecturer in EELU, MIU, and the GUC