http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_RESEARCH/RESEARCH_AREAS/software.html
Software Engineering
- Design Tools & Environments:
Campbell,
Gallopoulos,
Harandi,
Johnson,
Kaplan,
Padua
- Program Verification:
Campbell,
Dershowitz,
Kamin,
Kaplan,
Reddy
- Program Transformation:
Agha,
Campbell,
Dershowitz,
Kaplan,
Padua,
Reddy
- Specifications & Prototyping:
Agha,
Campbell,
Harandi,
Kamin,
Kaplan,
Padua,
Reddy