Laboratory for Software Design

William G. Griswold is a Full Professor in the Department of Computer Science and Engineering at the University of California, San Diego. His broad research area is software engineering, which concerns the construction of large, complex software systems of reasonable cost and high reliability. His research specifically concerns the evolution (e.g., enhancement) of large software systems, which is driven by unpredictable market forces, including the customer's desire for leading-edge functionality. He can be reached at wgg@cs.ucsd.edu.

Gary T. Leavens is a Full Professor at the School of Electrical Engineering and Computer Science at the University of Central Florida. His research interests are in programming and specification language design and semantics, formal methods (program specification and verification), object-oriented programming languages, aspect-oriented programming languages, component-based systems, information assurance, functional programming, type theory, and distributed programming languages. He can be reached at leavens@eecs.ucf.edu.

Kevin J. Sullivan is an Associate Professor and Endowed Faculty Fellow in the Department of Computer Science at the University of Virginia. He and his students are broadly interested in the design and engineering of software-intensive systems, with an emphasis on the need for a value-based theory and practice of system design. He can be reached at sullivan@nospam.cs.virginia.edu.

Wensheng Zhang is an Assistant Professor in the Department of Computer Science at the Iowa State University. His research interests are in wireless (Ad-hoc/Sensor) networking and security, P2P computing and security, and cryptographic key management. He can be reached at wzhang@cs.iastate.edu.