SERG ORGANIZATION

Director, Software Engineering Labratory

• Carl K. Chang

Director, Software System Labratory

• Suresh Kothari

Director, Labratory for Software Safety

• Robyn Lutz

Director, Programming Language Labratory

• Gary T. Leavens

Director, Program Specification and Verification Lab

• Simanta Mitra