Group

Current Students

  • Jean Park

  • Ahhyun Yuh


Former Students: Ph.D. Dissertation Supervision

  • David Smitley, The Utilization of Processors Interconnected with a Reconfigurable Network, May 1987.

  • Amy Zwarico, An Algebraic Model for Communicating Time-Dependent Processes, May 1988.

  • Richard Gerber, Communicating Shared Resources: A Model for Distributed Real-Time Systems, Au- gust 1991) (Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 1992)

  • Victor Wolfe, Supporting Real-Time Concurrency, August 1991. (Co-supervised with Susan B. Davidson)

  • Robert King, Design, Implementation and Evaluation of a Real-Time Kernel for Distributed Robotics, December 1991.

  • Patrice Bremond-Gregoire, A Process Algebra of Communicating Shared Resources with DenseTime and Priorities, May 1994.

  • Hanene Ben-Abdallah, GCSR: a Graphical Language for the Specification, Refinement and Analysis of Real-Time Systems, Aug 1996. (Co-supervised with Susan B. Davidson)

  • Duncan Clarke, Testing Real-Time Constraints, Dec 1996.

  • Inhye Kang, Real-Time System Analysis based on State-Space Exploration, May 1997.

  • Hee Hwan Kwak, Process Algebraic Approach to the Parametric Analysis of Real-time Scheduling Problems, Feb 2000.

  • Mahesh Viswanathan, Foundations for the Run-Time Analysis of Software Systems, Sept 2000. (Co- supervised with Sampath Kannan) (Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 2001)

  • Moonjoo Kim, Information Extraction. for Run-time Formal Analysis, Dec 2001. (Co-supervised with Sampath Kannan)

  • Jia Wang, Loss-Sensitive Decision Rules for Intrusion Detection and Response, July 2004. (Co- supervised with Linda Zhao, Statistics Department)

  • Insik Shin, A Compositional Framework for Real-time Embedded Systems, Aug 2006. (Started as Postdoc at Malardalen University, Sweden; Assistant Professor at KAIST, Korea) (Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 2006)

  • Usa Sammapun, Monitoring and Checking of Real-Time and Probabilistic Properties, May 2007. (Co- supervised with Oleg Sokolsky)

  • Michael May, Privacy APIs: Formal Models For Analyzing Legal Privacy Requirements, May 2008. (Co-supervised with Carl Gunter)

  • Madhukar Anand, Conditional Models for Compositional Design of Real-Time Embedded Systems, May 2008.

  • Arvind Easwaran, Advances in Hierarchical Real-Time Systems: Incrementality, Optimality, and Mul- tiprocessor Clustering, Dec 2008. (Co-supervised with Oleg Sokolsky)

  • Nikhil Dinesh, Regulatory Conformance: Logic and Logical Form, Dec 2010. (Co-supervised with Aravind Joshi)

  • Jian Chang, Behavior-Ctric Trust Management in Distributed Systems, May 2013. (Co-supervised with Sampath Kannan)

  • Andrew G. West, Damage Detection and Mitigation in Open Collaboration Applications, May 2013. (Co-supervised with Oleg Sokolsky)

  • Zhuoyao Zhang, Performance Modeling and Resource Management for MapReduce Applications, May 2014. (Co-supervised with Boon Tau Loo)

  • BaekGyu Kim, Safety-Assured Model-Based Development of Real-Time Embedded Software for the GPCA Infusion Pump, August 2015. (Co-supervised with Oleg Sokolsky)

  • Andrew King, Foundations for Safety-Critical On-Demand Medical Systems, May 2016.

  • Bong Ho Kim, Techniques for End-To-End TCP Performance Enhancement over Wireless Networks, August 2016.

  • Sanjian Chen, Model-Based Analysis of User Behaviors in Medical Cyber-Physical Systems, August 2016.

  • Alexander Roederer, Parameter Invariant Statistics and Their Application to Clinical Decision Support, Aug 2016. (Co-supervised with C. William Hanson III, MD)

  • Jaewoo Lee, Resource-Efficient Scheduling of Multiprocessor Mixed-Criticality Real-Time Systems, June 2017. (Co-supervised with Linh P.X. Phan)

  • Radoslav Ivanov, Context-Aware Sensor Fusion for Securing Cyber-Physical Systems, July 2017. (Co- supervised with James Weimer)

  • Junkil Park, Automatic Verification of Linear Controller Software, May 2017. (Co-supervised with Oleg Sokolsky)

  • Meng Xu, Cache-Aware Real-Time Virtualization, June 2018. (Co-supervised with Linh P.X. Phan)

  • David Arney, Medical Device Interoperability with Provable Safety Properties, May 2019.

  • Sangdon Park, Uncertainty Estimation toward Safe AI, Aug 2021. (Co-supervised with Osbert Bastani)

  • Tang Zhang, RV-enabled framework for self-adaptive software, Aug 2021. (Co-supervised with Oleg Sokolsky)

  • Ramneet Kaur, Screening Out-of-Distribution Inputs for Reliable AI Predictions, Dec 2023. (Co- supervised with Oleg Sokolsky)|

  • Matthew Cleaveland, Scalable and Risk Aware Verification of Autonomous Systems, May 2024. (Co- supervised with George Pappas)

  • Sydney Pugh, Weakly-Supervised Evaluation of Medical AI Systems, Aug 2024. (Co-supervised with James Weimer)

  • Xiayan Ji, Reliable Anomaly Detection with Explanation and Feedback, April 2025. (Co-supervised with Oleg Sokolsky)

  • Kaustubh Sridhar, Training Adaptive and Sample-Efficient Autonomous Agents, April 2025.

  • Shuo Li, Towards Trustworthy Large Language Models, June 2025. (Co-supervised with Osbert Bastani)

  • Yahan Yang, Safeguarding AI Systems Against Unexpected Inputs, October 2025.

  • Sooyong Jang, Improving Post-hoc Uncertainty Quantification Based on Input Transformations, November 2025.

  • Pengyuan Eric Lu, Preserving Correct Behaviors During Neural Network-Based Control Policy Repair, February 2026. (Co-supervised with Oleg Sokolsky)

  • Vivian Lin, OOD-Resilient Safety Monitoring for Safety-Critical Cyber-Physical Systems, April 2026.

  • Wenwen Si, Designing Trustworthy Machine Learning Systems With Structure‑Aware Conformal Inference, April 2026. (Co-supervised with Lama Al-Aswad)