RAPIDware Senior Investigators
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.
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.
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.
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.
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.