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.
MS, Computer Science, University of Colorado Boulder, 2019
BS, Computer Science, Republic of Korea Air Force Academy, 2010
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]