Dr. Mohamed Elwakil is an assistant professor at the Math, Physics & Computer Science Department of the University of Cincinnati – Blue Ash College. 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 teaching experience spans fifteen years of teaching computer science and information systems courses at seven universities and colleges in four countries. 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.
The primary focus of Dr. Elwakil’s research is to develop formal methods and supporting tools to aid modeling, analysis, and debugging of computer software. In particular, he is working on deterministic replay and trace-based predictive analysis of message-passing concurrent programs. His work appeared in conferences/workshops such as ATVA, ACT, EASE and PADTAD, and in journals such as ACM TODAES. His doctoral thesis supervisor was Dr. Zijiang Yang. He was the recipient of the 2010 PADTAD best paper award and the WMU Teaching Effectiveness Award 2005-2011. He worked in projects supported by grants from the NSF and the ONR.
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.