Doctoral Degrees

Zahid Anwar, "Automatic Security Assessment of Control Systems for Critical Cyber-Infrastructure", Concordia University, Canada, October 2008
Francis David, "Building a Reliable Operating System", Microsoft, October 2008
Suvda Myagmar, "Secure Configuration for Software Defined Radio", Yahoo!, May 2008,
C. S. Shankar, "Policy based Pervasive Systems Management Using Specification-Enhanced Rules," Microsoft, May 2006
Jalal Almutadi, "An Intelligent Authentication Infrastructure for Ubiquitous Computing Environments," Asst Professor, College of Computer & Information Sciences, King Saud University, Saudi Arabia, October 2005
Dulcinea Carvaldo, "A Software Environment for User Environments in Ubiquitous Systems," Asst.Professor, October 2005
Apu Kapadia, "Models for Privacy in Ubiquitous Computing Environments," PostDoc Dartmouth College, October 2005
Geta Sampemane, "Access Control for Active Spaces," Google, October 2005
Anand Ranganathan, "A Task Execution framework for Autonomic Ubiquitous Computing," IBM Research, October 2005
Robert McGrath, "Semantic Infrastructure for a Ubiquitous Computing Environment," NCSA, October 2005
P. Naldurg, "Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies," Microsoft Research, May 2004
Christopher Hess, "The Design and Implementation of a Context-Aware File System for Ubiquitous Computing Application", Siemens, October 2003
Manuel Roman, "An Application Framework for Active Space Applications", May 2003
Vijay Gupta, "Scalable Distribution of Data Across Autonomous Systems", October 2001
Zhaoyu Liu, "Securing the Node of an Active Network", Assistant Professor, University of North Carolina, Charlotte, NC, October 2001
Fabio Kon, "Automatic Configuration of Component-based Distributed Systems", Assistant Professor, Distributed Systems Group, Department of Computer Science, University of Sao Paulo, Brazil, October 2000
See-Mong Tan, "Multimedia Network Subsystem Design", Strategist, Microsoft, formerly Director of Quicktime, Apple Computer, and Chief Technology Officer at atstream.com, May 1999
Aamod Sane, "Techniques for Developing Correct, Fast, and Robust Implementations of Distributed Protocols", May 1998
Zhigang Chen, "Coding and Transmission of Digital Video on The Internet" CEO of Xinlab, October 1997
Hal Render, "Gregor: A Model Object Base Supporting Software Configuration Management", May 1997
Mohlalefi Sefika, "Design Conformance Management of Software Systems: An Architecture-oriented Approach", Lecturer, The National University of Lesotho, October 1996
Swee Boon Lim, "Adaptive Caching In A Distributed File System", January 1996
Ellard Roush, "The Freeze Free Algorithm For Process Migration", October 1995
Lun Xiao, "An Object-oriented Extensible Transaction Management System", May 1995
F .X. Nursalim Hadi, "Checkpointing In Distributed Virtual Memory By Using Local Virtual Memory", May 1995
Nayeem Islam, "Customized Message Passing and Scheduling For Parallel and Distributed Applications", Vice President, Director, Seamless Experience Environment Lab, October 1994
David Dykstra, "Object-Oriented Hierarchies Across Protection Boundaries", May 1992
Peter Madany, "An Object-Oriented Framework for File Systems", Consultant, former SUN JavaOS, May 1992
Gary Murakami, "Non-Blocking Packet Switching With Shift-Register Rings", October 1991
Vincent Russo, "An Object-Oriented Operating System", January 1991
Robert Sum, "An Object-Oriented Project Management Framework For Software Engineering Environments", January 1991
Arch Douglas Robison, "Optimistic Regulation of Concurrency", Intel Labs, Champaign, IL, May 1990
Carol Sue Beckman-Davis, "Finding Program Differences Based On Syntactic Tree Structure", May 1989
Robert Terwilliger, "Encompass: An Environment for Incremental Software Development Using Executable, Large-Based Specifications", October 1987
Raymond Essick, "The Cross-Architecture Procedure Call", Motorola Labs, May 1987
George Beshers, "Regular Right Part Grammars and Maintained and Constructor Attributed in Language Base Editors", May 1987
Judith E. Grass, "Mediators" A High-Level Language Construct For Distributed Systems", May 1986
Peter Kirslis, "The Saga Editor: A Language- Oriented Editor Based On An Incremental LR( 1) Parser", Consultant, Formerly with Bell Labs retired, Boulder, CO, January 1986
Pankaj Jalote, "Atomic Actions in Concurrent Systems", Professor, Department of Computer Science and Engineering at IIT Kanpur, formerly Head of Department 1998-2002. Author of five text books and on Editorial Board of of IEEE Transactions on Software Engineering, October 1985
Robert Kolstad, "Distributed Path Pascal: A Language for Programming Coupled Systems", Executive Director, USENIX SAGE (Systems Administrators Guide, formerly Director of BSDI), October 1982
Martin McKendry, "Language Mechanisms For Context Switching and Protection in Level Structured Operating Systems", Founder, SoloPoint Communications, Los Gatos, CA, January 1982
Anthony Yu-Wu Wei, "Real- Time Programming With Fault-Tolerance", Vice President, R&D of Photonic Bridges Inc., Shanghai, May 1981
Arthur Liestman, "Fault-Tolerant Scheduling and Broadcast Problems", Prof. of Computer Science, Simon Fraser University, former Head of Department, January 1981