Department of Computer Science

Laboratory for Software Design

The research and educational activities described on these pages has been supported in part by the US National Science Foundation (NSF) under grants CNS-15-13263, CCF-14-23370, CCF-13-49153, CCF-11-17937, CCF-10-17334, CNS-07-09217, CNS-06-27354, and a CAREER award 08-46059.

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or


William G. Griswold

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

Gary Leavens

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

Steven M. Kautz

Steven M. Kautz holds an M.S. in computer science and a Ph.D. in mathematics from Cornell University. Prior to joining the teaching faculty at Iowa State he spent 10 years on the faculty of Randolph College of Lynchburg (Virginia) and then 8 years as a senior software engineer for NewMonics (later acquired by Aonix, Inc), the developers of the PERC(tm) virtual machine, a platform for real-time Java. He can be reached at

Kevin Sullivan

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

Wensheng Zhang

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