Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASADaniel Kroening has been awarded a European Research Council Starting Grant totaling approximately 1.4M euro over 5 years.
Posted: 14th September 2011
Daniel Kroening has been awarded a European Research Council (ERC) Starting Grant totaling approximately 1.4M euro over 5 years.
Daniel’s work on the Validation of Concurrent Software Across Abstraction Layers project – or CProver for short – is tackling one of the most pressing issue in software quality assurance in mainstream software engineering: the use of concurrency.
ERC Starting grants are advertised to be allocated "to top talent to carry out their pioneering research". Only 28 such grants in computer science have been awarded for the whole of Europe.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Associate Professor awarded European Research Council Starting Grant | 0 | 5.29 | 05-09-2024 |
| 2 | ERC Starting Grant awarded to Standa Živný | 0 | 10 | 23-08-2016 |
| 3 | EPSRC announces grants for robotics research projects | 0 | 12.4 | 11-05-2012 |
| 4 | EPSRC Funding for New Project | 0 | 10.76 | 05-10-2009 |
| 5 | Visiting Professor Joël Ouaknine awarded €7.5M ERC Synergy grant | 0 | 5.41 | 14-11-2024 |
| 6 | Department researchers awarded four ERC Starting Grants in 100% success outcome | 0 | 8.79 | 04-09-2025 |
| 7 | Daniel Kroening receives CAV 2018 Award | 0 | 13.54 | 17-07-2018 |
| 8 | Daniel Kroening receives verification award | 0 | 8.58 | 21-12-2011 |
| 9 | Department of Computer Science professor secures €1.95m European research grant for quantum project | 0 | 6.23 | 23-11-2023 |
| 10 | EPSRC Career Acceleration Fellowship awarded | 0 | 9.31 | 18-07-2011 |