May Haidar

May Haidar is an Assistant Professor in the Department of Electrical Engineering & Computer Science at York University. Her work bridges theoretical and applied domains, focusing on software engineering, web applications, and formal verification techniques.

• Education: Ph.D. in Computer Science (Université de Montréal, 2008), M.S. (Concordia University), B.S. (American University of Beirut)
• Current Role: Teaching Object-Oriented Programming, Advanced Programming, and Web Development courses

Her research explores formal methods in software engineering, particularly temporal logics and run-time verification for web applications. She has contributed to hybrid analysis techniques for composite web services and anomaly detection frameworks.

Publications span formal verification, web application security, and embedded systems design, with a focus on integrating temporal logic extensions into validation processes. While no explicit awards are listed, her work has been presented at global conferences, including events in Dubai, Cambridge, and Las Vegas.