James F. Lynch

Professor of Mathematics and Computer Science
Clarkson University
Box 5815
8 Clarkson Avenue
Potsdam, NY 13699-5815
Office: Science Center Room 366
Email: jlynch@clarkson.edu
Phone: (315) 268-2395


Teaching


Spring 2015

 

CS458/558 FORMAL METHODS FOR PROGRAM VERIFICATION

The Aims of Education, by Andrew Abbott

Research

5th Workshop on Logic and Systems Biology, Vienna Summer of Logic, July 13, 2014

Workshop on Logic and Random Graphs, Lorentz Center, Leiden, The Netherlands, August 31-September 4, 2015

AMS-ASL Special Session on Applications of Logic, Model Theory, and Theoretical Computer Science to Systems Biology,
2016 Joint Mathematics Meetings, American Mathematical Society and Mathematical Association of America, Seattle, January 9, 2016

 

Publications