Eric Hayden Campbell
PhD Student, Cornell University
Department of Computer Science
email: ehc86 [at] institution [dot] edu
office: Gates 407
Github//ericthewry ^{ [?]} | Vita |
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 LTL_{f} 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] | slides | |
Constructing Integer Matrices with Integer Eigenvalues. Christopher Towse and Eric Campbell. The Mathematical Scientist, UK. June 2016. | 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 |