Assistant Professor · University of Tabuk

Dr. Nayef H.
Alshammari

Assistant Professor of Software Engineering and Executive Director of the Applied College Branch in Tayma, working across formal verification, artificial intelligence, quantum computing, and parallel and distributed systems.

Explore publicationsContact
Dr. Nayef H. Alshammari

Profile

Research grounded in rigorous models and real systems.

Dr. Alshammari earned his PhD in Parallel and Distributed Computing from De Montfort University in 2018, an MSc in Software Engineering from the same university, and a BSc in Computer Science from the University of Hail in partnership with KFUPM.

Academic focus

His academic work combines theoretical computer science with applied software engineering. His research spans parallel and distributed computing, temporal logic, runtime verification, quantum computing, pervasive and ubiquitous systems, artificial intelligence, and machine learning. He has published in peer-reviewed international journals and IEEE conferences. His teaching covers Software Engineering, Theory of Computation, Artificial Intelligence, Computer Architecture, Programming Languages, Advanced Programming Methods, Visual Programming, and Multimedia Systems. He also contributes to academic-program development, quality assurance, institutional and program accreditation, student guidance, and university leadership.

Academic roles

  • Assistant Professor at the University of Tabuk (2022–present) - Tayma, Tabuk, Saudi Arabia

  • Assistant Professor at Imam Mohammad Ibn Saud Islamic University (2021) - Riyadh, Saudi Arabia

  • Assistant Professor at the University of Tabuk (2021) - Tabuk, Saudi Arabia

  • Teaching Assistant at the University of Leicester (2019) - Leicester, England, United Kingdom

Administrative experience

  • Executive Director of the Applied College Branch in Tayma at the University of Tabuk (2022–present) - Tayma, Tabuk, Saudi Arabia

  • Head of the Department of Administrative Sciences at the University College of Tayma (2022–2025) - Tayma, Tabuk, Saudi Arabia

  • Director of the Electronic Content Unit at the University College of Tayma (2022–2025) - Tayma, Tabuk, Saudi Arabia

  • Director of the Scholarship Unit at the University College of Tayma (2022–2024) - Tayma, Tabuk, Saudi Arabia

Committee membership

  • Member of the Scientific Committee of the Department of Computer Science at the University College of Tayma - Tayma, Tabuk, Saudi Arabia

  • Member of the Department of Computer Science Council at the University College of Tayma - Tayma, Tabuk, Saudi Arabia

  • Member of the College Council at the University College of Tayma - Tayma, Tabuk, Saudi Arabia

  • Member of the College Advisory Committee at the University College of Tayma - Tayma, Tabuk, Saudi Arabia

Research interests

From formal reasoning to intelligent and secure systems.

Source code displayed on a computer monitor, with no people
01

Formal Verification

Runtime verification, Interval Temporal Logic, and dependable-system properties.

Connected server racks in a data centre
02

Parallel Computing

Interleaving concurrency, message passing, and shared-variable communication.

Ethernet connections on a network patch panel
03

Cybersecurity

Attack detection, social engineering, post-quantum security, and digital forensics.

NVIDIA HGX B200 GPU hardware for artificial intelligence computing
04

Artificial Intelligence

Machine learning, deepfake detection, anomaly detection, and computer vision.

IBM Quantum System One in Ehningen, Germany
05

Quantum Computing

Quantum semantics, formal reasoning, and probabilistic verification.

Quadcopter carrying a camera in flight
06

IoT & UAV Systems

Smart infrastructure, sensor platforms, and secure communications.

Publications

Complete publication record across journals and conferences.

Showing 1–5 of 19 publications5 publications per page

Intellectual property

Registered utility model

Education

A computing foundation shaped in the UK and Saudi Arabia.

United Kingdom flagDe Montfort University

PhD, Parallel and Distributed Computing

De Montfort University, UK

United Kingdom flagDe Montfort University

MSc, Software Engineering

De Montfort University, UK

Saudi Arabia flag
University of Hail — جامعة حائلKing Fahd University of Petroleum and Minerals — جامعة الملك فهد للبترول والمعادن

BSc, Computer Science

University of Hail in partnership with KFUPM