Experience

 
 
 
 
 

Postdoc

Cyber-Physical Systems Lab @ Duke ECE

Aug 2018 – Present Durham, NC
 
 
 
 
 

Research Assistant

Coordinated Science Lab @ UIUC

Aug 2012 – Jul 2018 Urbana, IL
 
 
 
 
 

Undergraduate Research Assistant

Non-Newtonian Fluid Dynamics Lab @ Tsinghua

Aug 2009 – Jul 2012 Beijing, China

Awards

Nomination for PhD Thesis Award

George B. Grim Fellowship

Software Artifacts

STMC: Statistical model checker with stratified and antithetic sampling

ARSC: Design tool for attack-resilient supervisory controllers

HyperSMC: Statistical model checker for hyper probabilistic temporal logics

MPHyper: Symbolic motion planner for HyperLTL objectives

CSRL: Control synthesis for LTL objectives by reinforcement learning

SMCLearning: Statistical model checker for deep-neural-network-enabled cyber-physical systems

Publications

(2020). Context-Aware Temporal Logic for Probabilistic Systems. International Symposium on Automated Technology for Verification and Analysis (ATVA).

PDF

(2020). Statistical Model Checking for Hyperproperties. IEEE Computer Security Foundations Symposium (CSF).

PDF

(2020). A Logistic Factorization Model for Recommender Systems with Multinomial Responses. Journal of Computational and Graphical Statistics (JCGS).

PDF

(2020). Hyperproperties for Robotics: Motion Planning via HyperLTL. IEEE International Conference on Robotics and Automation (ICRA).

PDF

(2020). Statistical Verification of Learning-Based Controlled Systems. 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC).

PDF

(2019). Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems (TECS), part of the ESWEEK-TECS special issue, presented in the ACM SIGBED International Conference on Embedded Software (EMSOFT).

PDF

(2019). Security-Aware Synthesis Using Delayed-Action Games. International Conference on Computer-Aided Verification (CAV).

PDF

(2018). Statistical Verification of PCTL Using Stratified Samples. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).

PDF

(2017). Statistical Verification of the Toyota Powertrain Control Verification Benchmark. ACM International Conference on Hybrid Systems: Computation and Control (HSCC).

PDF

(2016). Controller Synthesis for Linear Dynamical Systems with Adversaries. ACM Symposium and Bootcamp on the Science of Security (HoTSoS).

PDF

(2015). Statistical Verification of Dynamical Systems Using Set Oriented Methods. ACM International Conference on Hybrid Systems: Computation and Control (HSCC).

PDF

(2014). On the Cost of Differential Privacy in Distributed Control Systems. International Conference on High Confidence Networked Systems (HiCoNS).

PDF

Contact

  • yw354@duke.edu
  • 220 Hudson Hall, 100 Science Dr., Durham, NC 27708, USA