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

 

Publications