Mohamed Elwakil

Mohamed Medhat Elwakil

Assoc Professor - Adj Ann

Teachers College

CECH - School of Information Technology - 0002

Professional Summary

Mohamed Elwakil teaches as an adjunct at the SoIT, and UCBA.

He is an Assistant Professor of Cyber Systems at the Department of Electrical Engineering and Computing of the Coast Guard Academy. Dr. Elwakil’s teaching experience spans fifteen years of teaching computer science, information technology, and information systems courses at seven universities and colleges in four countries. Besides mentoring senior projects and advising MSc. theses, he has taught a wide range of undergraduate and graduate courses using different modalities such as face-to-face, distance learning, and wide-area classroom.

He earned a Ph.D. in Computer Science from Western Michigan University, MS, and BS in Information Systems from Cairo University in 2011, 2005, and 2000, respectively.  
 
Dr. Elwakil’s research focuses on developing formal methods and supporting tools to aid computer software modeling, analysis, and debugging. In particular, he worked on deterministic replay and trace-based predictive analysis of message-passing concurrent programs. His work appeared in conferences/workshops such as ATVA, ACT, EASE, QDB, and PADTAD and in journals such as ACM TODAES. In 2010, he received the PADTAD workshop best paper award. In addition, he worked on projects supported by grants from the NSF and the ONR during his doctoral research, which Dr. Zijiang Yang supervised. In 2015/2016, Dr. Elwakil was a postdoctoral researcher at Innopolis University, Innopolis, Russia, where he worked with Dr. Bertrand Meyer on static deadlock prediction in object-oriented applications.

Education

PhD: Western Michigan University Kalamazoo, MI, 2011 (Computer Science )

MSc: Cairo Univeristy Giza, Egypt, 2005 (Information Systems)

BSc: Cairo Univeristy Giza, Egypt, 2000 (Information Systems)

Positions and Work Experience

01-2020 - Assistant Professor, University of Cincinnati – Blue Ash, Blue Ash, OH

08-2016 -12-2019 Lecturer, Northern Arizona University, Flagstaff, AZ

08-2015 -07-2016 Postdoc Researcher, Innopolis University, Innopolis, Tatarstan, Russian Federation

08-2011 -08-2015 Assistant Professor, Cairo University, Giza, Egypt

Research Support

Grant: #N/A Investigators:Elwakil, Mohamed 01-01-2021 -01-31-2021 UC's Launch Awards Research Launch Awards (January 2020 clas of faculty) Role:PI $2,500.00 Active Level:Internal UC

Publications

Peer Reviewed Publications

Ahmed M.;Elwakil M.;Hassanien A.;Hassanien E. (01-01-2016. ) Discrete group search optimizer for community detection in social networks.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), , 9920 LNAI ,439-448 More Information

Ahmed M.;Hafez A.;Elwakil M.;Hassanien A.;Hassanien E. (01-01-2016. ) A multi-objective genetic algorithm for community detection in multidimensional social network.Advances in Intelligent Systems and Computing, , 407 ,129-139 More Information

Elwakil M.;Yang Z. (06-01-2012. ) Deterministic replay for message-passing-based concurrent programs.ACM Transactions on Design Automation of Electronic Systems, , 17 (3 ) , More Information

Elwakil M.;Yang Z. (09-02-2011. ) Deterministic replay for MCAPI programs.Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings, , 6-14 More Information

Elwakil M.;Yang Z. (12-17-2010. ) Debugging support tool for MCAPI applications.PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, , 20-25 More Information

Elwakil M.;Yang Z.;Wang L.;Chen Q. (12-15-2010. ) Message race detection for web services by an SMT-based analysis.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), , 6407 LNCS ,182-194 More Information

Elwakil M.;Yang Z.;Wang L. (11-05-2010. ) CRI: Symbolic debugger for MCAPI applications.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), , 6252 LNCS ,353-358 More Information

M. Ahmed, M. Elwakil, A. E. Hassanien, and E. Hassanien (2016. ) Discrete Group Search Optimizer for Community Detection in Social Networks .International Joint Conference on Rough Sets 2016, ,

Abdelmonem, R. I., A. H. El-Bastawissy, and M. M. Elwakil (2016. ) DIRA: Data Integration to Return Ranked Alternatives .Proceedings of the 11th International Workshop on Quality in Databases - VLDB2016, ,

Abdelmonem, R. I., A. H. El-Bastawissy, and M. M. Elwakil (2016. ) DIRA : A Framework of Data Integration Using Data Quality .International Journal of Data Mining & Knowledge Management Process, , 6 (2 ) ,

Book Chapter

Mohamed Elwakil (2020 ) Smart Predictive Analysis for Testing Message-passing Applications Computational Intelligence Techniques and their Applications to Software Engineering Problems .Taylor & Francis Group (Author)

M. Harim, M. Elwakil, A. Al-Fuqaha (2007 ) Network Layer Protocols The Handbook of Computer Networks, Volume III, Part 1, Chapter 4, John Wiley and Sons, Inc.