Dr. Mohamed Elwakil is an assistant professor at the Math, Physics & Computer Science Department of the University of Cincinnati – Blue Ash College. Before joining UCBA, he was a lecturer at the School of Informatics, Computing, and Cyber Systems of Northern Arizona University.
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.
Dr. Elwakil received his Ph.D. from Western Michigan University, MS, and BS from Cairo University. 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.