VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Mohamed Elwakil

Registered user since Sun 15 Dec 2024

Name:Mohamed Elwakil
Bio:

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.

Country:United States
Affiliation:U.S. Coast Guard Academy
Research interests:Automated debugging of message-passing programs, Educational research, SMT-based security analysis

Contributions

Show activities from other conferences

Using general profile