Venkat Arun
Assistant Professor at Department of Computer Science, The University of Texas at Austin
Cambridge, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolVenkat Arun is an assistant professor at UT Austin who applies formal methods to make real-world networked systems — from congestion control to video streaming and privacy-preserving computation — provably reliable. Over 11 years of experience spanning MIT PhD work and production-influencing research, he has developed tools to verify and synthesize performance properties of practical heuristics used in the wild. His work has influenced industry deployments: proposed modifications to BBR and Copa are used by major platforms such as Facebook for user-facing traffic and live video uploads. Venkat bridges theory and practice by showing where common heuristics fail and designing provably robust alternatives, attracting collaborations from CMU, Georgia Tech, Microsoft Research, and others. Based in Cambridge, MA, he combines deep systems-building with rigorous proofs, often turning formal ideas into deployable protocol changes. A less obvious thread in his career is consistent impact across both privacy-sensitive projects (secure allegation escrows) and high-throughput networking systems, demonstrating breadth across security and performance domains.
11 years of coding experience
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Massachusetts Institute of TechnologyBachelor's Degree Computer Science and Engineering, Bachelor's Degree Computer Science and Engineering at Indian Institute of Technology, Guwahati
Github Skills (55)
congestion-control10
mdbook10
freeradius10
protocols10
traffic10
transport9
lte9
5g9
udp9
networking9
pantheon9
4g9
rust9
network8
interpreter8
Programming languages (5)
Github contributions (5)
venkatarun95/SecureMultipartyComputation
Jul 2016 - Mar 2021
Contributions:80 commits, 4 pushes, 2 comments in 4 years 9 months
venkatarun95/genericCC
Jun 2015 - Aug 2021
An interface to program any congestion control protocol for an unreliable connection based protocol sent over UDP. It comes with a clean TrafficGenerator interface that can generate traffic for each of these various protocols. Also supports other congestion control protocols
Contributions:137 commits, 2 PRs, 78 pushes in 6 years 2 months
networkingcleanfor-eachcongestionconnection
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.