OUCL Honours: Awards, Fellowships, Grants, Contests

Navigation: Scholarships and Awards | Fellowships | New Grants | Best Paper Awards | Contests, Prizes

Scholarships and Awards

Professor Georg Gottlob, Alberto O. Mendelzon Test-of Time Award, 2009
Matteo Turilli, Brian Michael Goldberg Memorial Award, 2009
Professor Nic Smith, Professor of Computational Physiology, w.e.f. 1 December 2008
David Hopkins, Microsoft Research Doctoral Scholar, 2008-2011
Raymond Lal, AXA Research Fund Doctoral Grant, 2008-2011
Professor Georg Gottlob, Royal Society Wolfson Research Merit Award, 2006-2011
Sara Adams, Google Europe Anita Borg Scholar 2008, 2008/09
Aadya Shukla, Microsoft Research Doctoral Scholar, 2006-2009
Dr Boris Motik, IEEE 2008 AI's 10 to Watch, 2008
Professor Samson Abramsky, LiCS Test of Time Award, 2007
Dr Boris Motik, ERCIM Cor Baayen award, 2007
Professor Ian Horrocks, BCS/Microsoft Research Roger Needham Award, 2005
Dr Bob Coecke, IQSA Biennial Prize for Meritorious Research in the Field of Quantum Structures, 2004

Top of page

Fellowships

Life Fellows

Professor Samson Abramsky FRS, FRSE, Member of Academia Europaea
Professor Georg Gottlob FACM, Member of the Austrian Academy of Sciences, Member of the German Academy of Sciences Leopoldina, Member of the European Academy of Sciences Academia Europaea, Fellow of the European Coordinating Committee for Artificial Intelligence (ECCAI)
Professor Ian Horrocks Fellow of the European Coordinating Committee for Artificial Intelligence (ECCAI)
Professor Tom Melham FRSE
Professor Stephen Pulman FBA
Professor Nick Trefethen FRS

Research Fellows (reverse chronological order by end date)

Professor Marta Kwiatkowska, ERC Advanced Investigator Fellowship, 2010-2015
Professor Georg Gottlob, ERC Advanced Investigator Fellowship, 2010-2014
Dr Bernardo Cuenca Grau, Royal Society University Research Fellow, 2009-2014
Dr Joel Ouaknine, EPSRC Leadership Fellow, 2009-2014
Professor Nic Smith, EPSRC Leadership Fellow, 2008-2013
Dr Standa Živný, Junior Research Fellow, University College, Oxford, 2009-2012
Dr Alastair Donaldson, EPSRC Post-Doctoral Research Fellow, 2009-2012
Dr Dominik Wojtczak, EPSRC Post-Doctoral Research Fellow, 2009-2012
Dr Steven Niederer, EPSRC Post-Doctoral Research Fellow, 2009-2012
Dr Martin J Bishop, Sir Henry Wellcome Postdoctoral Fellow, 2008-2012
Professor Samson Abramsky FRS, EPSRC Senior Research Fellow, 2007-2012
Dr Blanca Rodriguez, MRC Career Development Fellow, 2007-2012
Dr Andy Twigg, Junior Research Fellow, St John's College, Oxford, 2008-2011/12
Dr Andrew Ker, Royal Society University Research Fellow, 2003-2011
Dr Bob Coecke, EPSRC Advanced Research Fellow, 2006-2011
Dr Mehrnoosh Sadrzadeh, EPSRC Post-Doctoral Research Fellow, 2008-2011
Dr Sheehan Olver, Junior Research Fellow, St John's College, Oxford, 2007-2010/11
Professor Ian Horrocks, EPSRC Senior Research Fellow, 2005-2010
Dr Andrzej Murawski, EPSRC Advanced Research Fellow, 2005-2010
Dr Kelly Burrowes, EPSRC Post-Doctoral Research Fellow, 2007-2010
Dr Ross Duncan, EPSRC Post-Doctoral Research Fellow, 2007-2010
Dr Paul Hunter, EPSRC Post-Doctoral Research Fellow, 2007-2010
Dr Thomas Lukasiewicz, DFG Heisenberg Fellow, 2007-2010
Dr Irina Voiculescu, Senior Research Fellow, Worcester College, Oxford, 2004-2007
Dr Andrzej Murawski, Junior Research Fellow, St John's College, Oxford, 2002-2005
Dr Irina Voiculescu, Junior Research Fellow, Worcester College, Oxford, 2002-2004

College Fellows

Each member of Faculty at OUCL (except Departmental Lecturers) holds a College Fellowship at an Oxford College.

Top of page

New Grants (by start date, latest first)

PI	Title	Sponsor	Duration	Collaboration	More info
Kwiatkowska, Marta	VERIWARE	ERC	01/06/2010 - 31/05/2015	OUCL
Gottlob, Georg	DIADEM	ERC	01/01/2010 - 31/12/2014	OUCL
Ouaknine, Joel Kroening, Daniel	Verification of Shared-memory Concurrent Software	EPSRC	01/03/2010 - 28/02/2013	OUCL
Benedikt, Michael	Query-driven Data Acquisition from Web-based Data Sources	EPSRC	01/01/2010 - 30/06/2013	OUCL
Worrell, James	Extensions of the Church Synthesis Problem	EPSRC	01/11/2009 - 31/07/2010	OUCL
Qu, Hongyang	7th International Symposium on Automated Technology for Verification and Analysis (International Travel Grant)	Royal Society	12/10/2009 - 24/10/2009	OUCL
Cuenca Grau, Bernardo	Privacy in Ontology-Based Information Systems (University Research Fellowship)	Royal Society	01/10/2009 - 30/09/2014	OUCL
Ouaknine, Joel	Quantitative Verification: From Model Checking to Model Measuring (Leadership Fellowship)	EPSRC	01/10/2009 - 30/09/2014	OUCL	EPSRC project page
Worrell, James	Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity	EPSRC	01/10/2009 - 31/03/2013	OUCL	EPSRC project page
Gottlob, Georg Jeavons, Peter	Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity	EPSRC	01/10/2009 - 31/03/2013	OUCL	EPSRC project page
Wojtczak, Dominik	Trust Metrics for SPKI/SDSI (Postdoctoral Research Fellowship)	EPSRC	01/10/2009 - 30/09/2012	OUCL
Gottlob, Georg Benedikt, Michael Olteanu, Dan	FOX: Foundations of XML - Safe Processing of Dynamic Data over the Internet	EC FP7	01/10/2009 - 30/09/2012	OUCL, U Edinburgh, TU Dortmund, U Hasselt, U Warsaw, U Amsterdam
Ouaknine, Joel Murawski, Andrzej Worrell, James	Automated Verification of Probabilistic Programs	EPSRC	01/09/2009 - 28/02/2011	OUCL	EPSRC project page

Best Paper Awards

Ralf Hinze, Peter Landin prize 2009, 20th International Symposium on the Implementation and Application of Functional Languages (2008), for "Scans and Convolutions: A Calculational Proof of Moessner's Theorem"
Andrew D. Ker, Best Paper Award, 8th International Workshop on Digital Watermarking 2009, for "Estimating the Information Theoretic Optimal Stego Noise", in Proc. 8th International Workshop on Digital Watermarking, LNCS vol. 5703, pages 184-198, Springer 2009
Georg Gottlob, Stephanie Lee, Gregory Valiant, Best Paper Award, ACM SIGMOD/PODS 2009, for "Size and Treewidth Bounds for Conjunctive Queries"
Stuart Golodetz, Irina Voiculescu, Stephen Cameron, Best Paper Award, Telemedicine and e-Health Section of Human-System Interaction (HSI) 2009 for "Progress on a Decision-Support System for Abdominal CT Scans (Work-in-Progress Paper)"
Yevgeny Kazakov, IJCAI-09 Distinguished Paper Award for "Consequence-Driven Reasoning for Deterministic SHIQ Ontologies"
Martin Cooper, Peter Jeavons, András Salamon, Best Paper Award at ECAI 2008
Stuart Golodetz, Irina Voiculescu, Stephen Cameron, Best Paper Award at CSTST08 for "Region Analysis of Abdominal CT Scans using Image Partition Forests"
Professor Georg Gottlob, Best Paper Award at PODS, for "Size and Treewidth Bounds for Conjunctive Queries", co-authored with (former Oxford student) Stephanie Lee and Greg Valiant
Max Schaefer, Best Paper Award at OOPSLA

Contests, Prizes

Evgenij Thorstensen, DPhil student in Georg Gottlob's group, has won the Norsk Regnesentral (Nowegian Computer Centre) Prize 2009 for his Masters thesis, Instance-Based Hyper-Tableaux for Coherent Logic, at the University of Oslo, Norway. The prize consists of a certificate and NOK 25,000 (c.£2,700).

Daniel Bundala, Frantisek Simancik and Jakub Zavodny form Oxford University have won a silver medal at the 2009 ACM International Collegiate Programming Contest (ICPC) in Stockholm, sponsored by IBM. They had been amongst 100 teams - out of 8000 competing in regional competitions - which went through to the world finals. The result is impressive: 5th place overall, earning them a silver medal (places 1-4 received Gold). Many Congratulations!

Top of page

Last update: 19/11/2009
Maintained by: Dr T Hauler, ComLab Research Facilitator/Administrator