Teaching
COMP313 Formal Methods
Supervised Theses
- Towards Safe and Robust AI Agents: Data Augmentation, Model Distillation, and Inference-Time Alignment
- Towards Safer Learning-Enabled Systems: Extended STPA with LLM-Based Hazard Analysis
- Verification and Validation of Machine Learning Safety in Learning-Enabled Autonomous Systems