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 of Computer Science at UT Austin, with a decade of research spanning internet congestion control, video streaming, privacy-preserving computation, wireless networks, and mobile systems. He specializes in bridging practical network heuristics with formal performance guarantees, designing robust systems whose properties can be proved under real-world conditions. His tools for proving performance of real-world network algorithms have attracted collaborations with CMU, Georgia Tech, MIT, Microsoft Research, Waterloo, and others, and have influenced industry practice, including a modification to BBR adopted by Facebook and the Copa protocol for live video uploads. An active researcher and educator, he advocates Performance Verification and Synthesis—using formal methods to design reliable systems. He earned a PhD in Computer Science from MIT and has held research internships at Max Planck and MIT, contributing to both academic and industry-facing results. Based in Cambridge, MA, he combines deep theoretical insights with practical impact across networks and systems.
11 years of coding experience
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Massachusetts Institute of Technology
Github Skills (58)
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.