Eric Hayden Campbell

PhD Student, Cornell University

Department of Computer Science

email: ehc86 [at] institution [dot] edu

office: Gates 407

Github//ericthewry [?] Vita
Linkedin Resume

About Me

I am a second-year PhD student at Cornell University interested in solving theoretical problems of industrial significance -- specifically at the intersection of Networking and Formal Methods/Programming Languages. My research interests include domain-specific language design, type systems, formal semantics, algebra, graph theory, and formal verification. I also enjoy linguistics, making espresso, and ballroom dance [1] [2].

For the summer, I'm working with Alex Horn at Fujitsu Labs of America to improve the understanding of IP-prefix based forwarding-networks.

My advisor at Cornell is Nate Foster. We're currently working on protocol-independent extensions to NetKAT and programmable packet scheduling.

My undergraduate research at Pomona College focused on Finite-Trace Logics with Michael Greenberg. My thesis developed novel sound and complete axioms for Linear Temporal Logic on finite traces, as well as a cannonical tableau-based decision procedure. This was used to prove completeness for Temporal NetKAT in the generic framework of Kleene Algebra Modulo Theories. Subsequent work has investigated completeness for Linear Dynamic Logic and its finite variant.

News

May 1, 2018 I am excited to announce that I will be spending the summer at Fujitsu Laboratories of America!
November 7, 2017 Accepted to PLMW @ POPL 2018!
August 22, 2017 Successful first day of my PhD at Cornell University!
May 23, 2017 Cornell PLDG talk (slides) about LTLf and Temporal Netkat
May 14, 2017 Graduated from Pomona College!
April 15, 2017 Accepted offer of admission to Cornell University.
April 12, 2017 Submitted Thesis Manuscript!

Research Projects

Finite Linear Temporal Logic[1] [2] Kleene Algebra Modulo Theories (KMT)
(Finite) Linear Dynamic Logic Protocol-Independent Network Programming

Publications

Injecting Finiteness to Prove Finite Linear Temporal Logic Complete. Eric Campbell, Michael Greenberg. In Progress. draft
Kleene Algebra Modulo Theories. Ryan Beckett, Eric Campbell, and Michael Greenberg. In Progress. draft
Infiniteness and Linear Temporal Logic. Eric Campbell, advised by Michael Greenberg. Pomona College. May 2017. [Undergraduate Thesis] pdf slides
Constructing Integer Matrices with Integer Eigenvalues. Christopher Towse and Eric Campbell. The Mathematical Scientist, UK. June 2016. pdf slides

Teaching

Spring 2018 TA OOP and Data Structures at Cornell University
Fall 2017 TA OOP and Data Structures at Cornell University
Spring 2017 TA Database Systems at Pomona College
Fall 2016 TA Programming Languages at Pomona College
Spring 2016 Head TA Intro to CS at Pomona College
Fall 2015 TA Intro to CS at Pomona College