James Worthington's Home Page

Contact     Courses     Research and Publications     Slides    

Contact:

  Email: worthing [at] math [dot] cornell [dot] edu

  Office: Malott 227

  Office Hours: Tu 1:30 &ndash 2:30; Th 12:30 &ndash 1:30

  Address:
    Mathematics Department
    Malott Hall
    Cornell University
    Ithaca, NY 14853-4201

Courses

    Spring 2010: Calculus II (MATH 1120). Course Web Page   (login required)

Research and Publications

    Research Interests: Automata Theory, Bialgebras, Monoidal Categories, Proof Complexity, Kleene Algebra.

    Curriculum Vitae:   PDF

    Dissertation : "Automata, Representations, and Proofs".   PDF
        Advisor: Dexter Kozen.
        Cornell University, August 2009.

    Articles:

        "A Bialgebraic Approach to Automata and Formal Language Theory"   PDF
            Submitted. 29 pages.

        "Graph Products and Cannon Pairs" (with J. Loeffler and J. Meier).
            International Journal of Algebra and Computation 12 (2002):747 &ndash 754.

    Conference Proceedings:

        "A Bialgebraic Approach to Automata and Formal Language Theory".
            In Proc. Logical Foundations of Computer Science , volume 5407 of LNCS,
            edited by S. Artemov and A. Nerode, 451 &ndash 467. Springer-Verlag, 2009.

        "Automatic Proof Generation in Kleene Algebra".
            In 10th Int. Conf. Relational Methods in Computer Science (RelMiCS10)
            and 5th Int. Conf Applications of Kleene Algebra (AKA5),
            volume 4988 of LNCS, edited by R. Berghammer, B. Möller, and G. Struth, 382 &ndash 396. Springer-Verlag, 2008.

Slides

    "Monoidal Categories, Bialgebras, and Automata"   PDF
        Binghamton University Geometry/Topology Seminar. October 29, 2009.

    "Determinizing, Forgetting, and Automata in Monoidal Categories"   PDF
        ASL North American Annual Meeting. March 17, 2010.