Daniel Kroening as PI and Joel Ouaknine as Co-I have successfully obtained funding from the EPSRC for the project "Verification of Shared-Memory Concurrent Software". This project funds one RA and two DPhil students for 3.5 years, in addition to salary costs, travel, equipment, etc.
Department of Computer Science, University of Oxford
Posted: 5th October 2009
Daniel Kroening as PI and Joel Ouaknine as Co-I have successfully obtained funding from the EPSRC for the project "Verification of Shared-Memory Concurrent Software".
This project funds one RA and two DPhil students for 3.5 years, in addition to salary costs, travel, equipment, etc.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | New EPSRC grant awarded | 0 | 11.53 | 01-07-2009 |
| 2 | EPSRC Leadership Fellowship 2009 awarded to OUCL applicant | 0 | 11.83 | 03-07-2009 |
| 3 | Designing better and faster DNA circuits | 0 | 8.57 | 23-05-2011 |
| 4 | EPSRC announces grants for robotics research projects | 0 | 12.4 | 11-05-2012 |
| 5 | ERC Starting Grant awarded to Daniel Kroening | 0 | 9.6 | 14-09-2011 |
| 6 | EU open source software project receives green light | 0 | 8.8 | 02-07-2015 |
| 7 | Oxford University Centre for Doctoral Training in Cyber Security receives additional £3.5m funding from EPSRC | 0 | 10 | 01-11-2016 |
| 8 | New EPSRC grant | 0 | 13.76 | 13-10-2009 |
| 9 | Department of Computer Science professor secures €1.95m European research grant for quantum project | 0 | 6.23 | 23-11-2023 |
| 10 | New EPSRC grant | 0 | 7.06 | 07-10-2009 |