James Worthington's Home Page

Info     Courses     Research and Publications     Slides    

Info:

  Position:
    Post Doctoral Fellow
    Lane Department of Computer Science and Electrical Engineering
    West Virginia University

  NSF Project:
    "Polyhedral Approaches to Selected Problems in Computational Logic"
    Principal Investigator: K. Subramani

  Email:
    jworthing [at] csee [dot] wvu [dot] edu

  Office:
    ERB 118F

  Address:
    WVU - Lane Dept of Comp Sci & Elec Eng
    PO Box 6109
    Morgantown, WV 26506-6109

Courses

  Fall 2010:
    Not teaching this semester.

Research and Publications

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

  Curriculum Vitae:
    PDF

  Dissertation:
    "Automata, Representations, and Proofs"   PDF
    Advisors: Dexter Kozen and Anil Nerode.
    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 – 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 – 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 – 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.

    "Bialgebras and Automata"   PDF
      Lane CSEE Computer Science Seminar. July 9, 2010.