A Dozen New Grants Awarded to Comlab
Posted: 8th April 2009
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 |