ºÝºÝߣ

Egypt Egypt

Computer Engineering Assistant Professor, Freelance Consultant and Trainer

Education

My major research interests include Early Computer Systems Analysis and Design. Verification of System Functions using formal methods like B, Z, Z++, SMV and similar tools I have standing expertise in Developing Reactive systems and ensuring fault tolerance and/or fault recovery. I supervise MSc and PhD students in software engineering. I also supervise students in web and data mining. I have good teaching experience. I have taught computer engineering and science courses for undergraduate, diploma, and Msc students. I have been exposed to the Egyptian- and British-style education. I have a good deal of curriculum development experience for programs at the undergraduate and graduate ...