Formal Verification Group

Group Leader: David L. Dill
Research Associates: Sergey Berezin
Administrative Associate: Judy Polenta
Ph.D. Students: Jacob Chang Eric Smith
David Park Debashis Sahoo
Former Ph.D. Graduates: Husam Abu-Haimed Rajeev Alur Clark Barrett
Supratik Chakraborty Satyaki Das Vijay Ganesh
Gaurishankar Govindaraju Alan J. Hu C. Norris Ip
Robert Jones Madan Musuvathi Steven Nowick
SeungJoon Park Kanna Shimizu Aaron Stump
Jefferey Su Chris Wilson Elizabeth Wolf
Howard Wong-Toi Kenneth Y. Yun C. Han Yang
Group Alumni: Laurent Arditi Jerry R. Burch Ganesh Gopalakrishna
Nicolas Halbwachs Jens U. Skakkebæk Uli Stern
-----
Group's
Private
Directory