News & Events
Clarkson University Professor Granted Tenure And Promoted
Clarkson University President Denny Brown has announced that Christopher Lynch of the Department of Mathematics and Computer Science has been granted tenure and promoted to associate professor. Lynch is a resident of Potsdam.
Lynch's research is in automated deduction. The goal of his research is to develop programs that reason. These programs can be used to prove mathematical theorems. He is particularly interested in using automated theorem provers to verify that a specification is met; for example, to show that a computer program does what it is supposed to do. This would be useful in preventing bugs, like the bug that occurred in the division algorithm of the Pentium chip in 1994. Lynch's main contribution to this field has been to develop new algorithms that are more efficient than the existing algorithms.
Lynch has been an assistant professor in the Department of Mathematics and Computer Science since his arrival in 1996. Prior to Clarkson, he was a postdoctoral fellow at INRIA (the French National Institute for Research in Computer Science and Control) in Nancy, France; a visiting professor at Université Henri Poincaré in Nancy; a visiting assistant professor at Northeastern University; a senior associate programmer at IBM, Endicott; and a systems programmer at Boston University.
Lynch received his Ph.D. in computer science from Boston University, his M.A. in mathematics from SUNY Binghamton and his B.S. in computer science from Syracuse University.