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 (31)
imitation-learning10
udp10
benchmark10
congestion-control10
mdbook10
rust9
programming-language8
algorithms8
quic6
django6
c-library5
python5
parser5
z32
matrix1
Programming languages (6)
Github contributions (5)
venkatarun95/rust-book-hindi
Sep 2018 - Apr 2022
Hindi translation of the Rust book
Contributions:14 commits, 1 PR, 12 pushes in 3 years 7 months
rust
venkatarun95/SecureMultipartyComputation
Jul 2016 - Mar 2021
Contributions:80 commits, 4 pushes, 2 comments in 4 years 9 months
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.