Eric Hayden Campbell
PhD Student, Cornell University
Department of Computer Science
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
For the summer, I'm working
Labs of America to improve the understanding of IP-prefix based
My advisor at Cornell is
Nate Foster. We're currently working
on protocol-independent extensions to NetKAT and programmable
My undergraduate research
at Pomona College focused on
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
NetKAT in the generic framework
of Kleene Algebra Modulo
Theories. Subsequent work has investigated completeness for
Linear Dynamic Logic and its finite variant.
|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!
Injecting Finiteness to Prove Finite Linear Temporal Logic Complete. Eric Campbell, Michael Greenberg.
Kleene Algebra Modulo Theories. Ryan Beckett, Eric Campbell, and Michael Greenberg.
Infiniteness and Linear Temporal Logic. Eric Campbell, advised by Michael Greenberg.
Constructing Integer Matrices with Integer Eigenvalues. Christopher Towse and Eric Campbell.
The Mathematical Scientist, UK.