Skip to main content

A Dozen New Grants Awarded to Comlab


The new awards, sorted by start date (latest first):

PI Title Sponsor Duration Collaboration More info
Gottlob, Georg
Jeavons, Peter
Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity EPSRC 01/10/2009 - 31/03/2013 OUCL EPSRC page
Wojtczak, Dominik Trust Metrics for SPKI/SDSI (PDRF) 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  
Horrocks, Ian SEALS: Semantic Evaluation at Large Scale EC FP7 01/06/2009 - 31/05/2012 OUCL +?  
Abramsky, Samson Information Flow: Foundations and Applications to Security ONR, US 10/04/2009 - 31/12/2009 OUCL  
Donaldson, Alastair Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming (PDRF) EPSRC 01/04/2009 - 31/03/2012 OUCL EPSRC page
Kroening, Daniel CESAR: Cost-efficient methods and processes for safety relevant embedded systems ARTEMIS/
Airbus Industries
01/03/2009 - 29/02/2012 OUCL OUCL page
Kroening, Daniel Efficient Verification of Software with Replicated Components EPSRC 02/02/2009 - 01/08/2012 OUCL EPSRC page
Kwiatkowska, Marta CONNECT: Emergent Connector for Eternal Software Intensive Networked Systems EC FP7 01/02/2009 - 31/07/2012 OUCL, U Lancaster U Uppsala, docomo, TU Dortmund, CNR Pisa, Inria, Thales, U Aquila, U Peking Project website
Davies, Jim ULICE: Union of Light-Ion Centres in Europe EC FP7 01/01/2009 - 31/12/2011 OUCL +?  
Horrocks, Ian ConDOR: Consequence-Driven Ontology Reasoning EPSRC 01/01/2009 - 31/12/2011 OUCL EPSRC page
OUCL page
Roscoe, Bill New Approaches to Security and Model Checking ONR, US 01/01/2009 - 31/12/2009 OUCL