معرفی
Peter Nightingale is a Senior Lecturer in Artificial Intelligence at the Department of Computer Science, University of York. His research focuses on constraint satisfaction and optimization, including applications in design, resource allocation, planning, and combinatorial mathematics. He holds a Ph.D. in Computer Science from the University of St Andrews. Before joining York, he was a Senior Research Fellow at St Andrews (2007–2018) and served as a Lecturer at York from 2018 to 2023. His work emphasizes improving constraint model representations and automating solver design through tools like Conjure and Savile Row.
His key research areas include constraint programming, automated modelling, and optimization algorithms. He contributes to foundational techniques in SAT encoding selection, local search methods (Athanor), and constraint solver architecture (Dominion). Peter’s work bridges theoretical advancements with practical applications in scheduling, statistical inference, and combinatorial problem-solving.
His recent publications highlight innovations in automated constraint model reformulation, graph convolutional networks for argumentation frameworks, and cross-paradigm modelling techniques. These efforts aim to enhance computational efficiency and broaden the applicability of constraint-based methods across diverse domains.
