| 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 newly updated (2/25/2019) |
| Links which is going to be updated frequently: |
| 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 Email: clynch@clarkson.edu | |