Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAThe most recent awards come from four different sources, showing increasing diversification. Among them, two large FP7 collaborations, FOX and CONNECT-IP.
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 |
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Software Engineering Innovation Foundation (SEIF) Awards 2010 | 0 | 14.45 | 23-04-2010 |
| 2 | Prestigious Newton Fellowship awarded to Comlab visitor | 0 | 7.66 | 15-09-2010 |
| 3 | Newton Fellowship extends researcher’s Oxford stay | 0 | 7.06 | 11-11-2010 |
| 4 | Collaborative team win Facebook Research ‘Probability and Programming’ research award | 0 | 8.1 | 21-05-2019 |
| 5 | Fellowships abound | 0 | 8.05 | 17-10-2013 |
| 6 | Ján Pich awarded ERC Consolidator Grant for research into proof complexity | 0 | 9.18 | 14-01-2026 |
| 7 | Compiler funding to help quantum computing reach potential | 0 | 7.2 | 26-04-2018 |
| 8 | Более 280 проектов инновационного бизнеса получили гранты "Коммерциализация" в 2021 году | 0 | 0 | 24-12-2021 |
| 9 | «Сплав добра и дела-2026»: победители получили гранты | 0 | 10 | 29-07-2026 |