Ed Morehouse

Ed, on the rocks

contact

mailing address

Computer Science Department
Carnegie Mellon University
5000 Forbes Ave
Pittsburgh, PA
15213 USA

email

edmo ∀⊤ cs ∙ cmu ∙ ∃∂∪

about

I am a postdoc with the Principles of Programming Group in the Computer Science Department at Carnegie Mellon University.
Currently, I study computational aspects of Homotopy Type Theory.

I recently completed my PhD at the Department of Mathematics and Computer Science of Wesleyan University.
My thesis was about categorical semantics for proof search in logic programming. It was supervised by Jim Lipton.

research interests

I am interested in what category theory, type theory and proof theory can learn from one another. I believe that categorical semantics can be quite helpful in clarifying the algebraic principles governing the properties of formal derivation systems, which can lead us to useful insights into program development and proof search.

publications

notes, slides, code and resources

teaching

In 2010, I taught Math Readiness and Art and Practice of Mathematics at Saint Mary's College in California. Before that, I taught a section of introduction to calculus at Wesleyan.

As a graduate student at Wesleyan, I served as teaching assistant for linear algebra, discrete math, mathematical logic, automata theory, programming languages and several introductory programming courses.

other

I enjoy being outside. In most years of graduate school I helped organize a fall-break trip for graduate and visiting international students. Most recently, we went hiking in Acadia National Park.

In 2008 I was elected to the educational policy committee of my university. Now I have a much deeper appreciation for the mundane but difficult work that goes into making possible all the visible aspects of the functioning of the institution. It felt a bit like when I took a summer job at Universal Studios as an undergraduate.

I have been an unenthusiastic user of LaTeX for a few years now. Lately I have become a somewhat more enthusiasic user of XeTeX and Will Robertson's excellent fontspec and unicode-math packages, which save me loads of typing and clutter. I have written a keyboard layout for Macintosh with the mathematical symbols that I use most often. This gets changed around and expanded pretty frequently, but you're free to use it and adapt it to your own needs. Suggestions are also welcome.

what's that funny wiggle?