| Name | E-mail / username |
|---|---|
| Sanjit Seshia | sseshia@eecs.berkeley.edu |
| Pramod Subramanyan | pramodsu |
| Elizabeth Polgreen | polgreen |
| Pranav Gaddamadugu | d0cd |
| Deepak Sirone | deepaksirone |
| Kevin Cheang | kkmc |
| Rohit Sinha | rsinha |
| Kevin Lauefer | ekiwi |
| Federico Mora | FedericoAureliano |
| Cameron Rasmussen | CameronRasmussen |
| Adwait Godbole | adwait |
| Shaokai Lin | lsk567 |
| Yatin Manerkar | ymanerka |