Drona Team
| Ankush Desai (Contact) |
University Of California, Berkeley |
| Prof. Sanjit Seshia |
University Of California, Berkeley |
| Hazem Torfah |
University Of California, Berkeley |
| Beyazit Yalcinkaya |
University Of California, Berkeley |
Past Members
| Shaz Qadeer |
Microsoft Research, Redmond |
| Indranil Saha |
Indian Institute Of Technology, Kanpur |
| Jianqiao Yang |
MIT |
| Tommaso Dreossi |
University Of California, Berkeley |
Acknowledgements
This work was supported in part by the TerraSwarm Research Center, one of six centers supported by the STARnet phase of the Focus Center Research Program (FCRP) a Semiconductor Research Corporation program sponsored by MARCO and DARPA.