Hansol Yoon

PhD student, University of Colorado Boulder

About Me

I am Hansol Yoon, a PhD student in Professor Sriram Sankaranarayanan’s group and the Computer Science department at the University of Colorado Boulder. Also, I am a Republic of Korea Air Force Major, and I worked at the Avionics Software Development Center in the Korean Air Force before coming to the US.

My research focuses on runtime verification with applications in autonomous systems.

[CV], [Google scholar]

Education

MS, Computer Science, University of Colorado Boulder, 2019

BS, Computer Science, Republic of Korea Air Force Academy, 2010

Publications

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis
Yi Chou, Hansol Yoon, and Sriram Sankaranarayanan,
International Conference on Intelligent Robots and Systems (IROS), 2020 [pdf] [presentation] [demo]

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Hansol Yoon, Yi Chou, Xin Chen, Eric Frew, and Sriram Sankaranarayanan,
International Conference on Runtime Verification (RV), 2019 [pdf]