Eric Hayden Campbell
PhD Student, Cornell University
Department of Computer Science
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.
News
| 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 |
| March 7, 2017 |
PhD CS Visit Day at Princeton |
Publications
|
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
|
Github
Linkedin