James Worthington's Home Page
Post Doctoral Fellow
Lane Department of Computer Science and Electrical Engineering
West Virginia University
"Polyhedral Approaches to Selected Problems in Computational Logic"
Principal Investigator: K. Subramani
jworthing [at] csee [dot] wvu [dot] edu
WVU - Lane Dept of Comp Sci & Elec Eng
PO Box 6109
Morgantown, WV 26506-6109
Research and Publications
Logic and Optimization, Automata Theory, Bialgebras, Monoidal Categories, Proof Complexity, Kleene Algebra.
"Automata, Representations, and Proofs" PDF
Advisors: Dexter Kozen and Anil Nerode.
Cornell University, August 2009.
"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.
"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.
"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.