Dr. Peter Nightingale
Dr. Peter Nightingale visited the Computer Science Department from 1- 15 April 2009. Dr. Nightingale is a Research Fellow from St Andrews University in Scotland. His research is in Constraint Programming. His visit was hosted Professor James Caldwell and they collaborated on an application of the proofs-as-programs interpretation to specifying and synthesizing correct-by-construction propagators used in constraint satisfaction systems. During his visit he presented a research seminar for faculty and graduate students on Constraint programming and discussed applications of constraint programming to program analysis with graduate students and other faculty.
