Former PhD Students

• David Smitley, The Utilization of Processors Interconnected with a Reconfigurable Network, May 1987. (Started as Research Scientist, Supercomputing Research Center, Lanham, Maryland)
• Amy Zwarico, An Algebraic Model for Communicating Time-Dependent Processes, May 1988. (Started as 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. (Started as 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) (Started as 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. (Started as 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, August 1996. (Co-advised with Susan B. Davidson) (Started as Postdoc at the University of Waterloo, Professor at University of Sfax, Tunisia)
• Duncan Clarke, Testing Real-Time Constraints, December 1996. (Started as 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. (Started as Assistant Professor, Department of Computer Science, Soong-Sil University, Korea; Professor, University of Seoul, Korea)
• Hee Hwan Kwak, Process Algebraic Approach to the Parametric Analysis of Real-time Scheduling Problems, February 2000. (Started as Senior R&D Engineer II, Synopsys, Portland, OR)
• Mahesh Viswanathan, Foundations for the Run-Time Analysis of Software Systems, September 2000. (Co-advised with Sampath Kannan) (Started as 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, December 2001. (Co-advised with Sampath Kannan) (Started as Postdoc at POSTECH, Korea; Currently Assistant Professor at KAIST, Korea)
• Jia Wang, Loss-Sensitive Decision Rules for Intrusion Detection and Response, July 2004. (Co-advised with Link Zhao, Statistics Department) (CEO, Venus Info Tech Inc., Beijing, P.R. China)
• Insik Shin, A Compositional Framework for Real-time Embedded Systems, August 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)) homepage
• Usa Sammapun, Monitoring and Checking of Real-Time and Probabilistic Properties, May 2007. (Co-advised with Oleg Sokolsky) (Started as IT staff, Goldman Sachs; Kasetsart University, Thailand)
• Michael May, Privacy APIs: Formal Models For Analyzing Legal Privacy Requirements, May 2008. (Co-advised with Carl Gunter) (Development Manager, QIS, Ltd; Radio Adviser Contractor, Partner Communications, Limited; Faculty Lecturer, Kinneret College on the Sea of Galilee, Israel) 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, December 2008. (Co-advised with Oleg Sokolsky) (Postdoc, IPP-HURRAY, Polytechnic Institute of Porto)
• Nikhil Dinesh, Regulatory Conformance: Logic and Logical Form, December 2010. (Co-advised with Aravind Joshi) (Researcher, SRI)
• Jian Chang, Behavior-Centric Trust Management in Distributed Systems, May 2013. (Co-supervised with Sampath Kannan) (www.openx.com)
• Andrew G. West, Damage Detection and Mitigation in Open Collaboration Applications, May 2013. (Co-supervised with Oleg Sokolsky) (Verisign)
• Zhuoyao Zhang, Performance Modeling and Resource Management for MapReduce Applications, May 2014. (Co-supervised with Boon Tau Loo) (Google)
• BaekGyu Kim, Safety-Assured Model-Based Development of Real-Time Embedded Software for the GPCA Infusion Pump, August 2015. (Co-supervised with Oleg Sokolsky) (Toyota ITC)
• Andrew King, Foundations for Safety-Critical On-Demand Medical Systems, May 2016. (Zoox)
• Bong Ho Kim, Techniques for End-To-End TCP Performance Enhancement over Wireless Networks, August 2016. (Working at Nokia, US)
• Sanjian Chen, Model-Based Analysis of User Behaviors in Medical Cyber-Physical Systems, August 2016. (Applied Predictive Technologies (APT))
• Alexander Roederer, Parameter Invariant Statistics and Their Application to Clinical Decision Support, August 2016. (Co-supervised with C. William Hanson III, MD) (Google)
• Jaewoo Lee, Resource-Efficient Scheduling of Multiprocessor Mixed-Criticality Real-Time Systems, June 2017. (Co-supervised with Linh P.X. Phan) (Postdoc at Seoul National University (SNU))
• Radoslav Ivanov, Context-Aware Sensor Fusion for Securing Cyber-Physical Systems, July 2017. (Co-supervised with James Weimer) (postdoc at the University of Pennsylvania)
• Junkil Park, Automatic Verification of Linear Controller Software, May 2017. (Co-supervised with Oleg Sokolsky) (Research Scientist, SGT/NASA Ames Research Center)
• Meng Xu, Cache-Aware Real-Time Virtualization, June 2018. (Co-supervised with Linh P.X. Phan) (Apple)
• David Arney, Medical Device Interoperability with Provable Safety Properties, May 2019. (Principle Associate, Harvard Medical School).

RTG Group