UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee UPenn Lee
Home About Me Research Teaching PRECISE RTG Group News Publications Awards Contact
Biography    |    CV    |    Current Students    |    Former Students    |    Professional Activities    |    Personal



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)
  • Nikhil Dinesh, Regulatory Conformance: Logic and Logical Form, Dec 2010. (Co-advised with Aravind Joshi) (Researcher, SRI)


Copyright © 2011-2019 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.