Printing tool Download PDF

Muath Alkhalaf, PhD

Assistant Professor, King Saud University

Work experience


Board Member & Consultant

Saudi Federation for Cyber-Security, Programming and Drones

Worked on multiple initiatives for cyber security and programming including Hajj Hackathon, the largest hackathon in the world and Twaiq Programming Bootcamp.

Established Estishraf, largest Data- and AI-driven decision making platform in Saudi Arabia in cooperation with National Information Center.


Balady Initiative Manager

Ministry of Municipal and Rural Affairs
  • Managed Balady initiative, which is a digital transformation initiative to unify, lean and digitize municipal licensing services (over 60 services) across 286 municipalities and consolidate all portals and back end systems across all municipalities (over 50) into one central portal and backend.
  • Participated into NTP (National Transformation Program 2020) labs for 2 months where I was tasked with designing the business case for Balady and coming up with the KPIs and 3-feet plan for the next 5 years. Balady was chosen as one of the top 5 initiatives among over 500 initiatives.
  • Supervised the design and implementation of Instant Licenses which highly contributed to the big jump in ranking of Saudi Arabia in ease of doing business by World Economic Forum 
  • Supervised the enterprise architecture for Balady which was carried out by McKinsey digital labs.
  • Led a team of 120 SW Engineers to execute the first phase of Balady initiative where we launched Balady 1.0,  a unified channel and customer experience through integration with 16 different back end systems in the 16 regional municipalities (Amanat).


Yesser e-Government Program

A consultant for Yesser program to evaluate the e-services provided by Ministry of Interior 


Information Security Engineer

  • Lead of development team of PKI infrastructure for Shomoos project that   connects more than 5000 clients all around Saudi Arabia to MOI.
  • Lead of development team for Elm VPN, a VPN cryptographic gateway appliance built entirely inside Elm and used to secure end to end connections over the internet.
  • Member of Elm Penetration Testing team where we assessed the security of many government entities.


Advanced Electronics Company

Developed the calibration software used in the quality assurance phase of the development process of the digital electricity meter. The software lowered the time for calibration phase in production line from 8 hours to 40 minutes through parallelization of the calibration software.

2015 2015


Center for Excellence in Information Assurance

I worked as a consultant in Information Assurance at COEIA where I supervised a number of research projects and gave consultation services to different government and private sector entities.


Assistant Professor

King Saud University

I teach three courses:

  • Java Programming, Advanced Software Engineering and Advanced Software Quality. I teach how to engineer software as a cloud service including requirement, design, testing and deployment using Agile development methodologies.



PHD Doctorate in Computer Science

University of California Santa Barbara

2015 ACM SIGSOFT Outstanding Doctoral Dissertation Award (top award for software engineering PhD research in the world)


MASTERS in Computer Science

University of California Santa Barbara

Project Title: Automated web service testing using interface grammars


BACHELORS Degree in Computer and Information Sciences

King Saud University

Graduated as the first of class with 4.81/5.0 GPA and first degree of honor.


  • ISSTA 2012
    • ICSE 2012
      • TACAS 2010 
        • SoCal Programming Languages workshop 2013
          • SoCal Programming Languages workshop 2011

            software Security tools

            • Co-developer for LibStranger, which is an open source automata-based symbolic string analysis library. The library can be found at ( Chosen as best library for String Analysis in IEEE/ACM 2014 Automated Software Engineering  conference.
            • Co-developer for Linux Alarm which is a Linux personal firewall implemented as undergraduate graduation project. The project is available in Sourceforge under It won King Abdulaziz Saudi National Award for Scientific Creativity.