RAPIDware Senior Investigators

• Dr. Philip K. McKinley received the Ph.D. degree from the University of Illinois at Urbana-Champaign in 1989 and was previously a member of technical staff at Bell Laboratories.  He conducts research in adaptive middleware, collaborative applications, group communication protocols, and mobile computing.  His recent and current research has been supported by ONR, NSF, DOE, Ameritech, and AT&T.


• Dr. R. E. Kurt Stirewalt received the Ph.D. from the Georgia Institute of Technology in 1997 and was previously a member of the technical staff at the MITRE corporation.  His primary research area concerns design abstractions and software-composition mechanisms to support development of interactive systems with highly graphical user interfaces.  His research is supported by ONR, NSF, and DARPA.


• Dr. Laura K. Dillon received the Ph.D. from the University of Massachusetts in 1984.  She was a faculty member at University of California, Santa Barbara for 12 years before joining Michigan State.  Her research interests include formal methods for modeling and analysis of concurrent software systems, formal specification and verification of software, and software testing.  Her research has been supported by several NSF grants and ONR.


• Dr. Betty H. C. Cheng received the Ph.D. degree from the University of Illinois at Urbana-Champaign in 1990.  Her research interests include formal methods applied to software engineering, object-oriented development techniques, software reuse, and embedded systems development.  She has held visiting positions at NASA JPL, where she worked on Space Shuttle software, and at Motorola Software Labs, where she worked on digital two-way radio systems.  Her research has been supported by NSF, ONR, DARPA, USDA, NASA, EPA, and industrial partners.


• Dr. Sandeep Kulkarni received the Ph.D. degree from Ohio State University in 1999.  His work focuses on the use of fault-tolerance components in middleware and security protocols.  He has identified a uniform formalism that permits both the design and the analysis of fault-tolerant and secure programs, by augmenting fault-intolerant systems with fault-tolerant components.  His research is supported by ONR, DARPA, and NSF.