News & Events
Clarkson University Professor Christopher Lynch Receives Graham Faculty Research Award
Christopher Lynch of Potsdam, professor of math and computer science at Clarkson University, was awarded the John W. Graham Jr. Faculty Research Award during the 109th commencement ceremony held on May 12.
Created in 1974 by the family of the late John W. Graham Jr., president of Clarkson University from 1966-74, this $1,500 award is presented annually to "a faculty member showing promise in engineering, management, liberal studies or scientific research."
Lynch performs research in automated deduction, with the ultimate goal of developing computer programs that can reason. He has developed new automated deduction techniques and proven that they can solve problems unsolved by existing techniques. For example, an automated reasoning program used techniques developed by Lynch to solve a mathematical theorem that had baffled humans for 60 years. Lynch is particularly interested in software verification, which proves that a program meets its specifications, preventing costly and even life-threatening bugs.
Lynch received his doctoral degree in computer science from Boston University. He joined the faculty of Clarkson as an assistant professor in 1996. Lynch received tenure and was promoted to associate professor earlier this year. He is currently teaching artificial intelligence and introduction to computer science.
Lynch recently received a three-year research grant from the National Science Foundation, and is currently serving on the program committee for the 13th International Conference on Automated Deduction to be held in Copenhagen.