Dirk Pattinson: Projects

Topics

In general, I'm happy to supervise projects that bridge the gap between theory and applications. Of particular interest to me are projects that implement new algorithms, study their practical feasibility and provide a detailed comparision with other existing approaches. Projects that provide implementations of new and algorithms and a detailed comparision with existing techniques are of particular interest. Suggestions for projects can be found on CATE. The following topics are of particular interest:

• Automated Reasoning
• Exact Computation
• Coinductive Techniques
• Modal and Description Logics
• Implementation of Decision Procedures

I'm more than happy to discuss your suggestions for projects in this area

Prize Winning Projects

In the past, I've supervised the following prize-winning students:

• Efstathios Panayi, Governor's Prize 2007
• Michael Herrmann, Donald Davies Memorial Prize 2009