Professor Joel Ouaknine
Professor Joel Ouaknine
Tutorial Fellow in Computer Science
Teaching Interests
I am St John's first Tutorial Fellow in Computer Science, in post since 2004. I tutor the first and second-year core Computer Science courses, and supervise third and fourth-year undergraduate student projects. I also give lectures in the Department of Computer Science; up-to-date information on these can be found on my departmental website. In both 2007 and 2008 I received a University Teaching Award for excellence in undergraduate teaching. [Note: I am currently on leave from teaching until October 2014, but I continue to oversee the subject of Computer Science in the College.]
Research Interests
I started out in Mathematics, earning a BSc and MSc from McGill University, and received a PhD in Computer Science from Oxford in 2001. I subsequently did postdoctoral work at Tulane University and Carnegie Mellon University, and more recently held visiting positions at the Ecole Normale Superieure in Cachan, France. In 2009 I was awarded an EPSRC Leadership Fellowship, enabling me to focus (almost) exclusively on research for a period of five years. I received the 2010 Roger Needham Award, given annually "for a distinguished research contribution in Computer Science by a UK-based researcher within ten years of his or her PhD" (for more information, see Related Links). My research interests include the verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, decision problems, complexity), logic and applications to verification, software analysis, concurrency, and automata theory. Further information including publications can be found on my departmental home web page under Related Links.
