The research and educational activities described on these pages has been supported in part by the US National Science Foundation (NSF) under grants 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 firstname.lastname@example.org.
The laboratory for software design at Iowa State University conducts research in programming languages, compilers and software engineering. Our overarching goal is to develop tools and techniques that enable better design of software intensive systems: a better design that is easier and cheaper to implement, verify and sustain and that is more portable across computing platform differences.
Our research meetings are in 105 Atanasoff Hall on Mondays from 1-2pm.
Research and Educational Projects
Modularity in Program Verification