Drona Team

Ankush Desai (Contact) University Of California, Berkeley
Shaz Qadeer Microsoft Research, Redmond
Prof. Sanjit Seshia University Of California, Berkeley

Past Members

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.