| 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: |
| CS142 Introduction to Computer Science II [ Syllabus ] [ Homework ] [ Book ] |
| IT501 Software Systems [ Syllabus ] [ Homework ] [ Book ] |
| CS657 Advanced Topics in Computer Security [ Syllabus ] [ Reading Material ] |
| CS708 Computer Science Seminar [ Syllabus ] [ Schedule ] |
| Contact Information | |
Weekly Schedule: T.Th. 9:30-10:45 CS657 T.Th. 11:00-12:15 CS142/IT501 T.Th 2:30-5:00 [Office Hours]Department of Math and Computer Science P.O.Box 5815 Clarkson University Potsdam, NY 13699-5815 Office: (315) 268 2384 | Fax: (315) 268 2371 Email: clynch@clarkson.edu | |