do you have the clarkson gene?
- Jeanna Matthews
- Alexis Maciel
- James Lynch
- Christopher Lynch
- Christino Tamon
- Joachim Stahl
- Janice Searleman
Christopher Lynch
Professor
Clarkson University
PO Box 5815
Potsdam, NY 13699-5815
377 Science Center
Phone: 315-268-2384
E-mail: clynch@clarkson.edu
Web site
Research Interests
Automated Deduction: This also sometimes goes by the name of Automated Reasoning or Automated Theorem Proving. One main interest in the field is 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 existing algorithms so they will be more efficient, and also to develop new algorithms based on new techniques. In fact, I am interested in the development of efficient algorithms in general.
Clarkson University
PO Box 5815
Potsdam, NY 13699-5815
377 Science Center
Phone: 315-268-2384
E-mail: clynch@clarkson.edu
Web site
Research Interests
Automated Deduction: This also sometimes goes by the name of Automated Reasoning or Automated Theorem Proving. One main interest in the field is 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 existing algorithms so they will be more efficient, and also to develop new algorithms based on new techniques. In fact, I am interested in the development of efficient algorithms in general.