Venkat Arun
Assistant Professor
Venkat Arun works to make networked systems robust and performant. In particular, he is developing conceptual, mathematical and automated tools to design provably performant networked systems. In the past he has worked on internet congestion control, video streaming, privacy-preserving computation, wireless networks, and mobile systems. His algorithms have been deployed at Meta. He has won best paper awards and the Marconi Society young scholar award. He completed his PhD at MIT and his undergraduate education at IIT Guwahati.
Research
Research Areas:
Research Interests:
Networked systems and formal methods
Current Research:
Today’s networked systems perform well most of the time, but not all the time. Venkat is developing a way to use formal methods to both understand their real-world performance and automatically design systems that are provably performant by construction. His tools have discovered unexpected ways in which widely deployed algorithms fail in the real world and have proved performance properties of heuristics such as congestion control algorithms, CPU schedulers and network flow schedulers.