Venkat Arun

About

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.