James Worthington

Visiting Lecturer of Mathematics

Web Site www.math.cornell.edu/~worthing Contact Information Office:  227 Malott Hall Phone:  (607) 254-5058 Fax:  (607) 255-7149 Email:  worthing@math.cornell.edu Courses & Office Hours

Education

Ph.D. (2009) Cornell University

Research Area: Logic, theoretical computer science, algebra

I am interested in applications of algebra and category theory to logic and computer science. My recent work focuses on the relations between automata and representations of bialgebras.

Selected Publications

A bialgebraic approach to automata and formal language theory (submitted).

Automatic proof generation in Kleene algebra; in Proceedings of RelMiCS10/AKA5, Lecture Notes in Computer Science 4988, Springer Berlin / Heidelberg, 2008, pp. 382–396.

Last modified: November 9, 2009