Author

Venkat Arun

Venkat Arun is a PhD student at MIT’s Computer Science and Artificial Intelligence Lab (CSAIL) with an interest in using formal methods to understand the performance of networks.

https://people.csail.mit.edu/venkatar/
Linkedin

Blog home


Top