William Snell

About Me

A MSci Mathematical Sciences graduate from the University of Birmingham, who also holds a MSc in Computing Science from Imperial College London.

Publications

• William Snell, Dirk Pattinson, and Florian Widmann. 2012. Solving graded/probabilistic modal logic via linear inequalities (system description). In Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'12), Nikolaj Bjørner and Andrei Voronkov (Eds.). Springer-Verlag, Berlin, Heidelberg, 383-390.

Theses

• Beyond NP-completeness - An exploration of the time complexity of various combinatorial problems, which leads to the investigation of randomized and approximation algorithms.
• Optimised Proof Procedures for Quantitative Logics - An optimised backwards proof search for evaluating the satisfiability of probabilistic and graded modal logic formulae, implemented in C++.

Projects

• Project Iris - An open source Iris recognition system developed by a group of students at Imperial College.