Oleg Sokolsky

Research Professor

Computer and Information Science

Office: Levine Hall, 608

Research Areas

  • Real-Time and Cyber-Physical Systems (CPS)
  • Formal Methods in Design and Verification of CPS

Awards

2019: Test of Time Award, Runtime Verification

2019: Best Paper Award, MEMOCODE

2014: Best Paper Award, IEEE/ACM International Conference on Cyber-Physical Systems

2012: Best Student Paper Award, IEEE Real-Time and Embedded Technology and Applications Symposium

2005: DARPA IPTO Special Commendation

Projects/Papers

Credal Bayesian Deep Learning
DC4L: Distribution shift recovery via data-driven control for deep learning models
Repairing Learning-Enabled Controllers While Preserving What Works

Students

PhDs:

Pengyuan Lu (co-advised with Insup Lee)