About
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.
Find May Haidar elsewhere
Related Searches
You Might Also Like
- EEmil SekerinskiMcMaster University · Professor
Gianluca MartinoHamburg University of Technology · Researcher- YYihai ChenMcMaster University · Adjunct Associate Professor
Sean KauffmanQueen's University at Kingston · Assistant Professor
Alexander BolotovUniversity of Westminster · Professor- LLeonardo LimaUniversity of Copenhagen · Research Fellow