Skip to main content
Clarkson University
  • Academics & Research
    • Find Your Program
    • Schools, Institutes & Centers
    • Research
    • Graduate Education
    • Professional Development
    • Honors Program
    • Global & Immersion Experiences
    • University Libraries
  • Admissions & Financial Aid
    • Financial Aid
    • Undergraduate Admissions & Aid
    • Graduate Admissions & Aid
    • Transfer Admissions & Aid
    • International Admissions & Aid
    • The Clarkson School: Early College Program
    • Student Achievement Services
  • Student Life
    • Clubs & Activities
    • Housing & Dining
    • Health & Wellness
    • The Surrounding Region
    • Student Support and Services
    • Graduate Student Life
    • Clarkson Ignite
    • Dean of Students
    • Office of Information Technology
    • Resources for Parents and Families
    • Annual University Events
    • Student Health and Counseling Services
  • Athletics
    • Game Schedules
    • Purchase Hockey Tickets
    • Intramural Sports
  • About
    • Accreditation
    • History
    • Clarkson at a Glance
    • University Leadership
    • Our Shared Community
    • Departments and Organizations
    • Visit Clarkson
    • The Clarkson Brand
    • News & Events
Search
Resources For
  • Prospective Students
  • Current Students
  • Parents & Families
  • Employers & Partners
  • Alumni

Information for

  • Alumni
  • Current Students
  • Parents & Families
  • Employers & Partners
  • Request Info
  • Visit
  • Apply
  • Give
Search
Resources For
  • Prospective Students
  • Current Students
  • Parents & Families
  • Employers & Partners
  • Alumni
Home - Christopher Lynch

Christopher Lynch

Professor
Department(s) / Center(s)

Computer Science

School(s)

Coulter School of Engineering & Applied Sciences

Christopher  Lynch Headshot

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.

Contact

Email:
clynch@clarkson.edu

Office Phone Number: 315/268-2334

Office Location: 377 Science Center

Clarkson Box Number: CU Box 5815

Clarkson University
  • University Libraries
  • News & Events
  • Academic Calendar
  • Human Resources
  • Sustainability
  • Book Store
  • Non-Discrimination
  • Intranet
  • Organizational Chart

Potsdam Campus  
8 Clarkson Ave • Potsdam, NY 13699  
Phone: 315-268-6400

Capital Region Campus  
40 British American Boulevard • Latham, NY 12110  
Phone: 518-631-9831

Contact Us

  • © Copyright 2025 Clarkson University
  • CARES Act Report & Consumer Information Disclosure (HEOA)
  • Web Accessibility Assistance
facebook twitter Instagram Youtube