Amr El-Kadi

Professor
Department of Computer Science and Engineering
The American University in Cairo
Egypt

Professor Engineering
Biography

Amr El-Kadi is Professor of Computer Systems Engineering at the American University in Cairo. He served as Chair of the Computer Science and Engineering Department at AUC. He was a member of the IEEE-CS/ACM Joint Task Force on Software Engineering Ethics and Professional Practices (SEEPP) that developed the Software Engineering Code of Ethics and Professional Practices adopted by both ACM and IEEE-Computer Society. Currently, he is a member of Software Engineering Professional Ethics Project (SEPEP) sponsored by the Software Engineering Coordinating Committee (SWECC) which is carrying on the work to professionalize software Engineering. Before joining AUC he was a consulting engineer with the Information, Technology and Facilities Department at the World Bank, Washington DC. He also taught undergraduate and graduate level courses in EECS at the George Washington University, Washington DC. In 1994, he received The IEEE-CS Award of Appreciation. Amr El-Kadi is a Senior Member of both the IEEE and the IEEE Computer Society. Served as the Middle East Representative of the IEEE Technical Committee on Operating Systems and Applications Environments. Member of Advisory Board of the IEEE Computer Society Special Technical Community on Operating Systems (STCOS). He is also a member of Eta Kappa Nu (the US National Electrical and Computer Engineering Honor Society), and the Association for Computing Machinery (served as past Chair of the ACM Egypt Chapter.)  

Research Intrest

operating systems, distributed systems, cloud computing, high performance computing, software engineering, and computer architecture. 

List of Publications
Bahig G, El-Kadi A (2016) Formal Verification Framework for Automotive UML Designs. ACM 2nd Africa and Middle East Conference on Software Engineering (AMECSE), Egypt pp: 21-27.
Ghada B, Amr El-Kadi (2017) Formal Verification of Automotive Design in compliance with ISO 26262 Design Verification guidelines. IEEE Access 5: 4505 – 4516.
Baher E, Mikhail NM, Amr El-K (2000) Enhanced Mobile IP Protocol. CG Omidyar (Ed.): MWCN 2000, LNCS 158-173.

Global Scientific Words in Engineering