James F. Lynch

Professor
Mathematics and Computer Science
Clarkson University
Potsdam, NY, 13699-5815
 Email: jlynch@clarkson.edu
Office: Rm. 381 Science Center
Phone: (315) 268-2374 		James Lynch


Teaching


Spring 2009 Courses

CS 344 Algorithms and Data Structures
CS 458/558 Formal Methods for Program Verification
CS 708 Seminar in Computer Science

Fall 2008 Courses

CS 242 Advanced Programming Concepts in Java
BY 659 / CS 659 Systems Biology

The Aims of Education, by Andrew Abbott

Research

Publications
LICS Workshop on Logic and Systems Biology 2006
Algebraic Biology 2007
Algebraic Biology 2008

Slides of Recent Lectures

A Logical Characterization of Individual-Based Models, 23rd IEEE Symp. on Logic in Computer Science, June 26, 2008. .pdf

What Is Systems Biology? Potsdam-Clarkson Research Experience for Undergraduates in Mathematics, July 10, 2008.
Parts 1 & 3 .pdf
Part 2.ppt

Commentary on "Emergence in Biomolecular Networks?" by Christophe Malaterre, Colloquium on Topics in the Philosophy of Biology/Chemistry, Eastern Division 105th Annual Meeting, American Philosophical Association, Philadelphia, December 30, 2008. .pdf text .pdf slides