Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAJoel Quaknine, along with co-investigators James Worrell and Andrzej Murawski, has been awarded an EPSRC grant titled "Automated Verification of Probabilistic Programs" with an awarded value of �292,618 (FEC cost equivalent of �358,730) (EP/G069158/1 ). The grant was ranked first (out of the 56 considered) of what was felt to be a very high quality panel. The grant will mainly support two postdocs for a period of 1.5 years.
Department of Computer Science, University of Oxford
Posted: 1st July 2009
Joel Quaknine, along with co-investigators James Worrell and Andrzej Murawski, has been awarded an EPSRC grant titled "Automated Verification of Probabilistic Programs" with an awarded value of £292,618 (FEC cost equivalent of £358,730) (EP/G069158/1). The grant was ranked first (out of the 56 considered) of what was felt to be a very high quality panel. The grant will mainly support two postdocs for a period of 1.5 years.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | EPSRC Funding for New Project | 0 | 10.76 | 05-10-2009 |
| 2 | New EPSRC grant | 0 | 7.06 | 07-10-2009 |
| 3 | EPSRC Leadership Fellowship 2009 awarded to OUCL applicant | 0 | 11.83 | 03-07-2009 |
| 4 | Marta Kwiatkowska and Georg Gottlob awarded European Research Council (ERC) Advanced Investigators Grants | 0 | 6.28 | 30-11-2009 |
| 5 | New EPSRC grant | 0 | 13.76 | 13-10-2009 |
| 6 | Department of Computer Science professor secures €1.95m European research grant for quantum project | 0 | 6.23 | 23-11-2023 |
| 7 | Royal Society University Research Fellowship awarded to Bernardo Cuenca Grau | 0 | 6.03 | 03-06-2009 |
| 8 | EPSRC-funded research seeks to advance the reliability of essential computer systems | 0 | 9 | 10-12-2024 |
| 9 | Dr Joël Ouaknine wins the Roger Needham Award 2010 | 0 | 4.46 | 10-06-2010 |
| 10 | Designing better and faster DNA circuits | 0 | 8.57 | 23-05-2011 |