Insup Lee's Students
- Current Ph.D. Students
- Dave Arney
- Jian Chang
- Sanjian Chen (1st year)
- Nikhil Dinesh
- BaekGyu Kim (1st year)
- Andrew King (1st year)
- Jaewoo Lee
- Alex Roederer (1st year)
- Shaohui (Vincent) Wang
- Andrew West
- Former Students
- David Smitley, The Utilization of Processors Interconnected with a Reconfigurable Network, May 1987. (Research Scientist, Supercomputing Research Center, Lanham, Maryland)
- Amy Zwarico, An Algebraic Model for Communicating Time-Dependent Processes, May 1988. (Assistant Professor, Computer Science Department, the Johns Hopkins University, Baltimore, Maryland)
- Richard Gerber, Communicating Shared Resources: A Model for Distributed Real-Time Systems, August 1991. (Assistant Professor, Department of Computer Science, University of Maryland, College Park, Maryland) (Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 1992)
- Victor Wolfe, Supporting Real-Time Concurrency, August 1991. (Co-advised with Susan B. Davidson) (Assistant Professor, Department of Computer Science, The University of Rhode Island, Kingston, RI)
- Robert King, Design, Implementation and Evaluation of a Real-Time Kernel for Distributed Robotics, December 1991. (Research Scientist, IBM, Yorktown Heights, NY)
- Patrice Brémond-Grégoire, A Process Algebra of Communicating Shared Resources with DenseTime and Priorities, May 1994. (Continue working at UNYSIS)
- Hanêne Ben-Abdallah, GCSR: a Graphical Language for the Specification, Refinement and Analysis of Real-Time Systems, Aug 1996. (Co-advised with Susan B. Davidson) (Postdoc at the University of Waterloo)
- Duncan Clarke, Testing Real-Time Constraints, Dec 1996. (Assistant Professor, Department of Computer Science, The University of Kentucky, Lexington, KY)
- Inhye Kang, Real-Time System Analysis based on State-Space Exploration, May 1997. (Assistant Professor, Department of Computer Science, Soong-Sil University, Korea)
- Hee Hwan Kwak, Process Algebraic Approach to the Parametric Analysis of Real-time Scheduling Problems, Feb 2000. (Senior R&D Engineer II, Synopsys, Portland, OR)
- Mahesh Viswanathan, Foundations for the Run-Time Analysis of Software Systems, Sept 2000. (Co-advised with Sampath Kannan) (Postdoc at DIMACS, Assistant Professor, Department of Computer Science, University of Illinois at Urbana-Champaign) (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-advised with Sampath Kannan) (Postdoc at POSTECH, Korea)
- Jia Wang, Loss-Sensitive Decision Rules for Intrusion Detection and Response, July 2004. (Co-advised with Link Zhao, Statistics Department) (CEO, Qiming Xingchen Information Technology Inc, Beijing, P.R. China)
- Insik Shin, A Compositional Framework for Real-time Embedded Systems, Aug 2006. (Assistant Professor, Computer Science Department, KAIST, Korea) homepage
- Usa Sammapun, Monitoring and Checking of Real-Time and Probabilistic Properties, May 2007. (Co-advised with Oleg Sokolsky)
- Michael May, Privacy APIs: Formal Models For Analyzing Legal Privacy Requirements, May 2008. (Co-advised with Carl Gunter) homepage
- Madhukar Anand, Conditional Models for Compositional Design of Real-Time Embedded Systems, May 2008. (Cisco, Data Center Team)
- Arvind Easwaran, Advances in Hierarchical Real-Time Systems: Incrementality, Optimality, and Multiprocessor Clustering, Dec 2008. (Co-advised with Oleg Sokolsky) (Postdoc, IPP-HURRAY, Polytechnic Institute of Porto)