News & Events
Christopher Lynch Named Clarkson University Chair of Mathematics & Computer Science
[A photograph for media use is available at http://www.clarkson.edu/news/photos/clynch.jpg.]
Christopher Lynch has been named chair of the Division of Mathematics and Computer Science at Clarkson University.
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. In 2007, he was promoted to professor.
During summers, he has held visiting researcher positions at INRIA, Max Planck Institute in Saarbrucken, Germany, Ecole Normale Superieure in Cachan, France, and Universite d’Orleans in Orleans, France. From July 2003 to June 2004, he was on sabbatical at the Naval Research Laboratory in Washington, D.C.
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. He has been supported by grants from the National Science Foundation and the Office of Naval Research. Currently he has a grant in cybersecurity from the National Science Foundation.
Clarkson University launches leaders into the global economy. One in six alumni already leads as a CEO, VP or equivalent senior executive of a company. Located just outside the Adirondack Park in Potsdam, N.Y., Clarkson is a nationally recognized research university for undergraduates with select graduate programs in signature areas of academic excellence directed toward the world’s pressing issues. Through 50 rigorous programs of study in engineering, business, arts, sciences and health sciences, the entire learning-living community spans boundaries across disciplines, nations and cultures to build powers of observation, challenge the status quo, and connect discovery and engineering innovation with enterprise.