Some Possible Thesis Projects/Topics

There are lots of good topics at MSc and PhD levels involving logic and search. Below are just a few things that follow naturally from work I've done or have thought about doing. See also the MX Project page.
Back to Dr. Mitchell's Home Page