Sotabase

Career

· Associate Profressor, Carnegie Mellon University (Current)2025–
· Assistant Professor, Carnegie Mellon University2019–2025
· Postdoctoral Fellow, Stanford University2018–2018
· Graduate Student Researcher, UC Berkeley2015–2017
· Graduate Student Instructor, UC Berkeley2014–2014
· Engineering Intern, WD, a Western Digital company2014–2014
· Engineering Intern, WD, a Western Digital company2013–2014
· 4.0/4.0, UC Berkeley2012–2017
· Graduate Student Instructor, UC Berkeley2012–2014
· Intern, Shanghai Haiming Marine Technology Development Co., LTD2011–2011
· Intern, Shanghai Waigaoqiao International Trading Operation Center Co., Ltd2010–2010

Publications (8)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
2024
21
cited
Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks
2025
11
cited
Improving Policy Optimization via ε-Retrain
2024
6
cited
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
2024
4
cited
Robust Tracking Control with Neural Network Dynamic Models under Input Perturbations
2024
3
cited
Safe PDE Boundary Control with Neural Operators
2024
Training Task Reasoning LLM Agents for Multi-Turn Task Planning via Single-Turn Reinforcement Learning
2025
Verifiable Safety Q-Filters Via Hamilton-Jacobi Reachability and Multiplicative Q-Networks
2025
Sotabase