Prof Dave Cohen

Prof D A Cohen, BA, DPhil Oxon
PositionAcademic Staff
Research AreaTheory of Computing (Constraints)
Telephone+44 1784 443421


Dave Cohen was appointed to a lectureship in Computer Science in September 1987, and became a Senior Lecturer in 1997. Previously he was a Research Assistant at Oxford University. His research interests include the application of Mathematics within Computer Science, and the theory of neural networks, and constraint satisfaction problems. In 1996 he and Dr Jeavons received the Kanellakis prize for interdisciplinary research at the international annual meeting on Constraints. He got his personal chair in Computer Science in 2004.

How to reach me


Dave Cohen has done much of his research jointly with Professor Peter Jeavons at Oxford University Computer Labs. You may wish to link to his to find research site out more about Prof. Cohen's research and about Constraint Satisfaction in general.

Prof Cohen has written a simple hypertree decomposition tool in Java which you can run.