From SE Wiki
The group studies a broad array of topics including model management, formal methods, software engineering, requirements engineering, and business modeling. We use a combination of research techniques, including empirical, theoretical, and engineering approaches.
We have a vibrant graduate program that has produced a long, distinguished set of alumni active in software research and related areas. Our alumni have served on the faculties of major research universities including Carnegie Mellon, Harvard, the University of Maryland and Waterloo, and have led and participated in research efforts in influential industry research labs including Microsoft, SRI, AT&T Labs, GTE, and IBM.