I am an Assistant Professor in the Department of Computer Engineering and Computer Science (CECS) at California State University, Long Beach (CSULB). My research interests are in ensuring the safety of cyber-physical systems through formal methods, predictive monitoring, verification, and machine learning.
Previously, I completed my PhD in Computer Science at the University of Southern California, advised by Prof. Jyotirmoy Deshmukh. I received my Computer Science BS degree from ShanghaiTech Univeristy, where I was advised by Prof. Yi MA and Prof. Hao Chen. I spent my last year of undergraduate in UC Berkeley as a visiting student, working in BAIR Lab with Prof. Angjoo Kanazawa and Richard Zhang. During my visit, I also received invaluable support from Prof. Alexei Efros and Prof. Jitendra Malik.
Publications
Object Detection in Dynamic Environments: A Case Study in Mario Kart Wii
In Fifth Annual Computer Science Conference for CSU Undergraduates (CSCSU), 2025
[To appear]
Towards a Lightweight Platform for Human-Robot Interaction in Federated Edge and IoT Environments
In Third International Workshop on Human-Centered Sensing, Modeling, and Intelligent Systems (HumanSys), 2025
[To appear]
Poster Abstract: Conformance-Driven Anomaly Detection for Cyber-Physical Systems
In 16th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2025
[To appear]
Poster Abstract: Exploring Flexible Road Reconstruction in Godot Simulator
In 16th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2025
[To appear]
The Task Shield: Enforcing Task Alignment to Defend Against Indirect Prompt Injection in LLM Agents
2024
[Preprint]
Multi-agent Path Finding for Timed Tasks using Evolutionary Games
In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2024
[Paper]
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification
In Transactions on Cyber-Physical Systems (TCPS), 2023
[Paper]
Conformance Testing for Stochastic Cyber-Physical Systems
In Formal Methods in Computer-Aided Design (FMCAD), 2023
[Paper]
Robust Testing for Cyber-Physical Systems using Reinforcement Learning
In ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), 2023
[Paper]
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
In IEEE Conference on Decision and Control (CDC), 2023
[Paper]
Conformal Prediction for STL Runtime Verification
In ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023
[Paper]
.png)
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
In American Control Conference (ACC), 2023
[Paper]
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
In International Conference on Cyber-Physical Systems (ICCPS), 2022
[Paper]
.png)
.png)
Clairvoyant Monitoring for Signal Temporal Logic Patterns
In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2020
[Paper]
Mining Shape Expressions from Positive Examples
In International Conference on Embedded Software (EMSOFT), 2020
[Paper]
Specifying and Detecting Temporal Patterns with Shape Expressions
In International Journal on Software Tools for Technology Transfer (STTT)
[Paper]
Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract
In International Conference on Hybrid Systems: Computation and Control (HSCC), 2019
[Paper]
Teaching
Concepts of Computer Science Theory
CECS329, Fall 2024
California State University, Long Beach
Search Engine Technology
CECS429/529, Fall 2024
California State University, Long Beach
Human Subject Research in Software Systems
TA with Prof. Souti Chattopadhyay, Spring 2023
University of Southern California
Autonomous Cyber-Physical Systems
TA with Prof. Jyotirmoy Deshmukh, Fall 2022
University of Southern California
Services
Reviewer
- T-ASE, SEET, CDC, STVR2025
- CDC, T-ASE, ICRA, VMCAI, TCPS2024
- L4DC, HSCC poster, CDC2023
- IV (subreviewer)2020, 2021
Program Committee
- ICCPS 2025 Demo/Poster Program, SEET 2025 Short Paper Track2025
- VMCAI 2024 Artifact Evaluation, ICCPS 2024 Artifact Evaluation2024
- HSCC 2021 Repeatability Evaluation2021
News
- An interview with the Long Beach Current. April 2025
- An interview with the Long Beach Current. August 2024
- Passed my PhD defense. May 2024
- Selected as one of the CPS Rising Stars. May 2023
- Received an NSF student travel award for CPS-IoT Week 2023. 2023
- A highlight of our TQTL for vision-based perception systems in USC Viterbi News. March 2019
Misc
Sketch
An interesting undergraduate project done under supervision. Given an image, regenerate the image in sequences. This is like how children reproduce an image after looking at it.
Train on MNIST, then test on Omniglot:
Ray Tracing
My ray tracing implementation.
Third place in the Shanghai Student Sports Games, Taekwondo, 2016. (Held every four years.)
🌞 Coming soon ...
Try