Christopher Lynch

My Research Statement which should be updated
Automated Deduction: This also sometimes goes by the name of Automated Reasoning or Automated Theoroem Proving. What it means is the study of programs that prove theorems. The reason it is sometimes called automated reasoning is because the computer is using a form of reasoning, guided by the logical inference rules. Systems that I work on are used to prove mathematical theorems, but that is ony one use for them. One main interest in the field to use these systems to verify that some specification is met, particularly a hardware or software specification. This could be very useful to prevent bugs, like what happened with the Pentium chip. My main contribution to this field is to make modification to currently exisiting algorithms so they will be more efficient, and also to develop new algorithms based on new techniques. In face, I am intersted in the development of efficient algorithms in general.
My Publications which is a little out of date

Links which are completely out of date:

CS447/547/EE667/MA447 Computer Algorithms [ Syllabus ]

Contact Information
Weekly Schedule:

		TTh        9:30-10:45    CS447/CS547/EE667/MA447
		M-F        2:00-3:00     [Office Hours]
Division of Math and Computer Science
P.O.Box 5815
Clarkson University
Potsdam, NY 13699-5815
Office: (315) 268 2334 | Fax: (315) 268 2371