Prof Dave Cohen
Prof D A Cohen, BA, DPhil Oxon
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
out more about Prof. Cohen's research and about Constraint Satisfaction in
Prof Cohen has written a simple hypertree decomposition tool in Java which
you can run.