| Home |
| Research |
| Publications |
| Software |
| STP |
| CVC |
| Voting machines |
| Election 2004 photo essay (class project) |
| VerifiedVoting.org |
| Verified Voting Foundation |
Formal Verification Group
| Group Leader: | David L. Dill | ||
| Administrative Associate: | Judy Polenta | ||
| Ph.D. Students: | Jacob Chang | Eric Smith | Debashis Sahoo |
| Former Ph.D. Graduates: | Husam Abu-Haimed | Rajeev Alur | Clark Barrett |
| Supratik Chakraborty | Jacob Chang | 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 | |
| Sergey Berezin |
 |
 |