Fahad Bin Sultan University
2002 – 2007 University of Montreal - Ph.D., Computer Science Dissertation: Formal Framework for Run-Time Verification of Web Applications: an Approach supported by Scope-Extended Linear Temporal Logic. Supervisors: Prof. Houari Sahraoui and Prof. Alexandre Petrenko Thesis classified by the jury in the best 15% 1999 – 2001 Concordia University - Master’s of Science, Computer Science M.Sc. Thesis : Parameterized Events for Designing Real-Time Reactive Systems Supervisor : Prof. Vasu S. Alagar GPA 4.1/4.3 1993 – 1996 American University of Beirut - Bachelor of Science, Computer Science Project: Database system of the university faculty of medicine Supervisor: Prof. Wadi’ Jureidini ACADEMIC APPOINTMENTS 2010 – Present 2011 – Present 2009-2010 Assistant Professor and Computing College Coordinator Fahd Bin Sultan University, Saudi Arabia - Responsible for the academic and administrative affairs of Computing College and departments of CS and CE at the female section. - Direct Coordination with the Dean of the College on female students and faculty matters. - Teaching intermediate and advanced CS and CE courses - Advising of CS and CE students - Member of several university and college committees - Mentor of female students and supervisor of several groups participating in the MOHE Scientific Conference for the last 4 years. Adjunct Professor DIRO, Université de Montréal, QC, Canada - Continuous collaboration on joint research projects, research grants, and research papers. - Research related to the formal analysis of web based applications and services. Lecturer American University of Beirut, Lebanon - Teaching of undergraduate intermediate and advanced courses at the Computer Science Department. 2008 2010 - 2011 Instructor Concordia University, Montreal, Canada Visiting Professor (Declined) American University of Beirut, Lebanon RESEARCH APPOINTMENTS AUGUST 2016 2008 – 2009 May – Sept 2008 2002 – 2007 2000-2001 Visiting Scholar Department of Electrical and Computer Engineering University of Western Ontario, London, ON, Canada, QC Postdoctoral Fellow Department of Computer Science Concordia University, Montreal, QC Supervisor: Dr. Yuhong Yan Project: Formal Modeling, Analysis, and Run Time Model Adaptation of Web Services. Postdoctoral Fellow Department of Computer Science and Operations Research Université de Montréal, Montreal, QC. Supervisor: Prof. Houari Sahraoui, GEODES Software Engineering Lab Project: Counter Example Guided Visualization of Property Violations in Web Applications. Graduate Research Fellow Distributed Systems Analysis Group, lead by Prof. Alexandre Petrenko. Computer Research Institute of Montreal (CRIM), Montreal, QC. Doctoral Research: Formal framework for the dynamic analysis and verification of Web Applications. Research Assistant Concordia University - Software Development TEACHING Fahad Bin Sultan University, Tabuk, Saudi Arabia - CSC 356: Design and Analysis of Algorithms - CSC 357: Theory of Computation - CSC 382/CEN 330: Software Engineering - CSC 372/CEN 360: Operating Systems - CSC 384/CEN 340: Computer Networks - CSC 358: Programming Languages - CSC 360: Internet Programming and We Design - CSC 481/CEN 434: Cryptography and Computer Security - CSC 498/CEN 498: Final Year Project I - CSC 499/CEN 499: Final Year Project II - CSC 100: Introduction to Computing American University of Beirut, Beirut, Lebanon - CMPS 253: Software Engineering I - CMPS 258: Programming Languages - CMPS 297H: Web Programming and Design Concordia University, Montreal, Canada - Intermediate Java Programming SUPERVISED STUDENTS POST GRADUATES FINAL YEAR PROJECTS Ahmed Sfayhi: DIRO, Université de Montréal (Fall 2008). Graduation Project – Co-Supervision with Prof. Houari Sahraoui Ludovic Niepse: DIRO, Université de Montréal (May-August 2008). Undergraduate trainee. Co-Supervision with Prof. Houari Sahraoui. Philipp Shugerel: Master’s student, Upper Austria University of Applied Sciences, Hagenberg, Austria and intern at CRIM (June – December 2005). Co-Supervision with Dr. Alexandre Petrenko. Hussein Moughnieh: Master’s student, Department of Computer Engineering, Concordia University and intern at CRIM (September –April 2004). Co-Supervision with Dr. Alexandre Petrenko. Mirela Barburas: Master’s student, DIRO, Université de Montréal and CRIM (2002 – 2004). Co-Supervision with Prof. Houari Sahraoui and Dr. Alexandre Petrenko. Assistive Pillow for Deaf People (CE) (2015 – 2016) Wheelchair Automation Control by Head Orientation (CE) (2014 – 2015) Mobile Social Network for College Community (CS) (2013 – 2014) Online Real Estate Management System(CS) (2013 – 2014) Online 3D Library Management System(CS) (2013 – 2014) Hand Held Reader for the Visually Impaired (CS) (2012 – 2013) Online Hospital Patients File Management System (CS) (2012 – 2013) Smart Pivot Irrigation System (CE) (2011 – 2012) Online Course Registration System (CS) (2011 – 2012) Intelligent Traffic Light System (CE) (2011 – 2012) Library Management System (CS) (2011 – 2012) SERVICES AFFILIATIONS AND MEMBERSHIPS ACADEMIC SERVICES RESEARCH COMMUNITY SELF DEVELOPMENT COMMUNITY SERVICES • SAP TERP10 Certified Associate Consultant • ACM Professional Member • Faculty Sponsor and Founder of FBSU ACM Student Chapter • SAP University Alliance Coordinator at FBSU • Coordinator of the Computing College (2010 – present) - Responsible for the administrative and academic affairs related to the college female students and faculty. - Direct coordination with the Dean of the college (and Provost if needed) as well as with the Chairpersons of the CS and CE departments to run the college’s female section. - Overseeing the advising efforts to students during registration periods and work with the faculty members during the academic terms to maintain the high quality education to the students and to guarantee successful implementation of the syllabi of the different courses. - Took part in the refinement of equivalences to students in the bridging program to conform to the Ministry of Higher Education requirements. - Coordination and assistance of administrative staff members for the college common classes’ supervision management. • Memorandum of Understanding (July 2012) Prepared and co-signed the Memorandum of Understanding between Fahad Bin Sultan University and University of Montreal. • Computer Science Master’s Program (2015 – 2016) Member of the committee that developed and extensively revised a new CS Master’s program that was approved by King Abdul Aziz University (pending the approval of the MOHE in KSA). • Information Technology Program (2013 – 2015) Member of the committee that developed and extensively revised a new IT program that was approved by the MOHE in KSA. • Revision of Computing College Programs (2014 – 2015) Extensively revised the CS and CE programs to conform to the NCAAA standards towards the NCAAA institutional accreditation. • University Committee Member - University Council - University Academic Committee - Accreditation and Strategic Planning Committee - Quality Assurance Committee - University Research Board - Student Affairs Committee - National Scientific Conference Selection Committee - University Admission Committee - Library Committee - Scholarship Committee - Recruitment Committee • Computing College Committee Member - Computing College Council - Computer Science Department Council - Curriculum Committee - Scheduling Committee - Final Year Project Committee - Community Outreach Committee Organizing Committee Member • Workshop on Data Management and its Applications - in collaboration with Prince Sultan University and the ACM Distinguished Speaker Program, Tabuk, KSA, 2016. • Workshop on Technology Transfer in Saudi Arabia – in collaboration with University of Montreal and CRIM, Montreal, Tabuk, KSA, 2012 • 3rd International Workshop on Formal Approaches to Testing of Software, CRIM, Montreal, 2003. Program Committee Member • IEEE International Workshop on Formal Methods Integration, 2015 • IEEE International Workshop on Formal Methods Integration, 2014 • IEEE International Workshop on Formal Methods Integration, 2013 • 2nd International Conference on Information Systems and Technologies, 2012 • Workshop on Technology Transfer in Saudi Arabia, 2012 • Quality Assessment in Web Workshop, QAW 2009 Peer Reviewer IEEE WFMi 2015: IEEE Int. Workshop on Formal Methods Integration, 2015 LNCSR (2009,2010,2011,2012,2013,2014): Research Projects for the Lebanese National Council for Scientific Research IEEE WFMi 2014: IEEE Int. Workshop on Formal Methods Integration, 2014 IEEE WFMi 2013: IEEE Int. Workshop on Formal Methods Integration, 2013 FORTE 2012: 32nd IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems. APSEC 2008: 15th Asia-Pacific Software Engineering Conference MBT 2008: 4th Workshop on Model-Based Testing FORTE 2007: 27th IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems. ICSR 2007: 2nd International Computer Science Symposium in Russia. FORTE 2006: 26th IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems. ASE 2005: 20th IEEE/ACM Int. Conference on Automated Software Engineering. MCETECH 2005: Montreal Conference on E-Technologies. FORTE 2004: 24th IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems. ICNP 2004: 12th IEEE International Conference on Network Protocols. FATES 2003: 3rd Int. Workshop on Formal Approaches to Testing of Software. • SAP Training: Received intensive training on SAP Business Process Integration, SAP, Effat University, Jeddah, KSA, 2015. • SAP Training: Received intensive training on SAP ERP System, SAP, Saint Joseph University, Beirut, Lebanon, 2014. • Workshop on “ Developing the Learning Outcomes in Compliance with NQF and Aligning Assessment Practices with Learning Outcomes”, given by NCAAA, May 2016. • Workshop Series of NCAAA Institutional Standards and Accreditation, FBSU, February, 2016 • Workshop of NCAAA, “Assessment of Learning Outcomes”, given by the NCAAA, October 21-22, 2015. • Workshop on “Flipping Your Classroom to Increase Student Engagement and learning”, in collaboration with the American University of Beirut, FBSU, April 25, 2015. • Workshop on “Student Centered Learning”, in collaboration with the American University of Beirut, FBSU, 2013. • FBSU Coordinator with ARAMCO: coordinated and facilitated the attendance of female students of ARAMCO workshops on Bridging the Gap between Academia and the Industry. The workshop is organized by ARAMCO Women Division for two years in a row. Dahran, KSA, 2014, 2015. • Organizer of the FBSU ACM Student Chapter activities and community outreach, (2014 - 2016). • Computing Week Organizer: Organized the first FBSU Computing Week in collaboration with the International CS Education Week and Code.org along with thousands of academic institutions around the world. FBSU, Tabuk, Dec. 9 -15, 2015 • IEEE/ACM Automated Software Engineering Conference (Sept 2004) Johannes Kepler University, Linz, Austria.
• Formal methods for modeling, testing, and verification of systems • Web applications, Service Oriented Architecture and Service Computing • Linear and branching temporal logics
2. May Haydar, Ghazwa Malak, Houari Sahraoui, Alexandre Petrenko, and Sergiy Boroday. "Anomaly Detection and Quality Evaluation of Web Applications", In Coral Calero, Mª Ángeles Moraga, and Mario Piattini, Handbook of Research on Web Information Systems Quality. IGI Global, 2008.
1. Yuhong Yan, May Haydar. “Discrete Event Models for Web Service Processes”, In Venky Shankararaman (Ed.) "Business Enterprise, Process and Technology Management: Models and Applications", IGI Global, 2011.
1. May Haydar. A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic. VDM Verlag, Germany, September 2009. ISBN: 978-3-639-18943-8.