Constraint satisfaction is where AI, universal algebra, computational complexity, graph theory, finite model theory, and group theory all overlap. Maybe we can shoehorn topology and ergodic theory in there, too…
I am pursuing a doctorate in computer science at the University of Oxford. See my academic webpage at the Computing Laboratory for copies of my papers and talks.
