Printing tool Download PDF

Muath Alkhalaf, PhD

Baity Co-Founder and CTO

Work experience


Baity co-founder and CTO


Co-founded Baity, which is a platform for Interior-Design and furniture services


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 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).
  • Started the second phase where we aim at re-engineering sectorial licensing (schools, clinics, ...etc) where multiple govt. entities participate in the licensing process. The goal is to come up with customer centric journey and coherent regulations and bylaws across all government entities.


Yesser e-Government Program

A consultant for Yesser program to evaluate the e-services provided by Ministry of Interior and give my recommendations.


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


MASTERS in Computer Science

University of California Santa Barbara

BACHELORS Degree in Computer and Information Sciences

King Saud University


  • ISSTA 2012
    • ICSE 2012
      • TACAS 2010 
        • SoCal Programming Languages workshop 2013
          • SoCal Programming Languages workshop 2011
            • Received an NSF travel grant to attend the Summer Formal 2011: First Summer School on Formal Techniques, a one-week summer school which was organized by SRI International.

            software Security tools

            • Lead developer for SemRep, which is an automatic vulnerability repairing tool for input validation and sanitisation code in web applications using semantic differential analysis techniques. The tool can be found at (
            • Lead developer for Stranger, which is an open source PHP analysis tool to detect web vulnerabilities in PHP web applications such as XSS and SQLI using symbolic string analysis. The tool can be found at (
            • 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.