Christopher Lynch
Professor
Department of Computer Science
Clarkson University
United States of America
Biography
Dr.Christopher Lynch presently working as a Professor in the Deparment of Computer Science, at Clarkson University.
Research Interest
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.
Publications
-
Sullivan, Colin E., and Christopher Lynch. "Device and method for treating obstructed breathing having a delay/ramp feature." U.S. Patent No. 5,522,382. 4 Jun. 1996.
-
Sullivan, Colin E., and Christopher Lynch. "Device for monitoring breathing during sleep and control of CPAP treatment that is patient controlled." U.S. Patent No. 5,199,424. 6 Apr. 1993.
-
Sullivan, Colin E., and Christopher Lynch. "Device for monitoring breathing during sleep and control of CPAP treatment that is patient controlled." U.S. Patent No. 5,199,424. 6 Apr. 1993.
