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 first-year PhD student at Cornell interested in solving theoretical problems of industrial relevance -- specifically in the field of 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.

I am currently working to publish my undergraduate thesis work (with Michael Greenberg at Pomona College) on Finite-Trace Linear Temporal Logic and Temporal Netkat.


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!
April 7, 2017 Thesis Presentations to the Math and CS departments at Pomona
March 15, 2017 PhD CSE Visit Day at UCSD

Research Projects

Finite-Trace Temporal Logic (LTLf) Kleene Algebra Modulo Theories (KMT)


Kleene Algebra Modulo Theories. Ryan Beckett, Eric Campbell, and Michael Greenberg. POPL. July 2017. [IN SUBMISSION] PDF
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


Fall 2017 TA Object Oriented Programming 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