PhD Student

Nazmus Shakib Sayom

Graduate Research Assistant

Kahlert School of Computing, University of Utah

Nazmus Shakib Sayom is a PhD student and graduate research assistant in the Kahlert School of Computing at the University of Utah. His work focuses on cyber-physical systems safety and security, with emphasis on system verification, safety falsification, property-guided reduction, and surrogate execution for robotic and autonomous systems.

Email Website Resume LinkedIn GitHub Google Scholar

Research Statement

I study how cyber-physical and autonomous systems can be reduced, tested, and checked against safety properties without losing the behaviors that matter.

Research Questions

How can complex CPS control stacks be reduced into property-relevant surrogates for scalable falsification?

How can temporal-logic oracles and execution traces expose safety violations in robotic vehicles?

How can embedded and IoT systems be engineered with stronger security and privacy guarantees from sensing through deployment?

Selected Publications

2025conferenceAccepted at EAI SmartSP 2025Springer LNICST

Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles

Nazmus Shakib Sayom, Luis A Garcia

Security and Privacy in Cyber-Physical Systems and Smart Vehicles: Third EAI International Conference, SmartSP 2025, Salt Lake City, Utah, USA, December 1--2, 2025, Proceedings

This paper proposes property-guided reduction and surrogate execution for falsifying safety properties in robotic vehicle systems. The method isolates controller logic and physical dynamics relevant to a target specification, then uses lightweight surrogate models with trace analysis and temporal-logic oracles to search for safety violations.

arXiv PDF Accepted Papers Springer LNICST Publication index

Education

Ph.D. Computer Science (In Progress)

University of Utah (Aug 2024-Present)

Cyber-physical systems security, falsification, and safety verification for autonomous systems

B.Sc. Computer Science & Engineering

American International University-Bangladesh (2017-2020)

Summa Cum Laude; CGPA 3.96/4.00; thesis on disaster victim tracking and rescue support systems

Experience

Jan 2023-Jul 2024

Linux Developer

meldCX · Dhaka (Remote)

Built embedded Linux distributions for ARM platforms with Yocto, OTA update flows, device-service integrations, and security hardening for deployed edge systems.

Jan 2022-Dec 2022

Lecturer

Daffodil International University

Taught operating systems, embedded systems, and computer fundamentals while continuing research collaborations and student mentoring.

Apr 2021-Dec 2021

Senior Software Engineer

HelloTask Platform Ltd.

Led platform work for a jobs marketplace and built IVR-based access paths for users without reliable internet connectivity.

Jun 2020-Mar 2021

Embedded Systems Engineer

HelloTask Platform Ltd.

Prototyped IoT and computer-vision systems for self-checkout and centralized advertising delivery.