Registered user since Sun 15 Dec 2024
Mohamed Elwakil 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.
Contributions