Eric Campbell
Research Fellow at The University of Texas at Austin
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolEric Campbell is a research-focused computer scientist with 11 years of experience studying the intersection of networking, formal methods, and programming languages. Currently a Research Fellow at UT Austin after completing a PhD at Cornell, he develops formalisms for control/data plane interfaces, heterogeneous dataplane management, and type systems for P4. His work blends theory and tooling—previous internships produced Nopticon, a deployed Fujitsu-exported tool for synthesizing data-plane specifications. Comfortable with both teaching and production code, he has led student teams, built grading automation, and shipped features in web stacks during industry internships. Based in Austin, he combines deep formal expertise with a pragmatic bent for synthesis and network logic that makes abstract models operational.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science - Programming Languages, Doctor of Philosophy - PhD, Computer Science - Programming Languages at Cornell UniversityBachelors of Science, Computer Science and Mathematics, GPA: 3.7, Bachelors of Science, Computer Science and Mathematics, GPA: 3.7 at Pomona College
English, French, Dutch
Github Skills (16)
semantics10
jekyll9
agda8
homotopy-type-theory8
theorem-proving8
coq8
formal-semantics7
javascript4
preprocessor4
data-science2
data-processing2
python2
network2
compiler1
programming-language1
Programming languages (6)
Github contributions (5)
ericthewry/ericthewry.github.io
May 2017 - Jan 2025
Contributions:243 pushes, 2 branches in 7 years 9 months
pomonadb/graphstreams
Jan 2016 - Aug 2016
Contributions:26 PRs, 54 pushes, 26 branches in 7 months
data-processingpythondata-science
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.