News & Events
For Faculty & Staff
Christopher Lynch Promoted to Professor
[A photograph for media use is available at http://www.clarkson.edu/news/photos/clynch.jpg]
Clarkson University President Tony Collins has announced that Christopher Lynch has been promoted from associate professor to professor of mathematics and computer science in the School of Arts & Sciences.
Lynch grew up in Brattleboro, Vt., and received his B.S. in computer science from Syracuse University. He became a senior associate programmer at IBM Endicott, simultaneously earning an M.S. in mathematics from SUNY Binghamton. His Ph.D. in computer science is from Boston University.
Before joining Clarkson as an assistant professor in 1996, he worked as a postdoctoral fellow at INRIA (the French National Institute for Research in Computer Science and Control) in Nancy, France. He also held visiting professorships at Universite Henri Poincare in Nancy and at Northeastern University. In 2002, he received tenure at Clarkson, was promoted to associate professor and received the John W. Graham Jr. Faculty Research Award.
Lynch performs research in automated reasoning, with the ultimate goal of developing computer programs that can reason. In 1996, 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 applying automated reasoning techniques to software verification, to guarantee that a program meets its specifications, preventing costly and even life-threatening bugs. He also applies his techniques to cryptographic protocol analysis, guaranteeing that the protocols used on the Internet are secure.
Lynch has had over 30 refereed publications, and served as program committee member numerous times in the leading conferences in his field, including the International Conference on Automated Deduction, the International Conference on Rewriting Techniques and Applications, and the International Conference on Logic for Programming Artificial Intelligence and Reasoning. After his first year at Clarkson, Lynch has always been supported by grants from the National Science Foundation and the Office of Naval Research.