Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAA Comlab group, led by Daniel Kroening and Philipp Ruemmer, wins one of 12 Software Engineering Innovation Foundation (SEIF) Awards 2010 from Microsoft Research. The awards of $25000 will be presented at ICSE 2010 on May 5 in Cape Town. The award will seed-fund research on using Microsoft's Z3 theorem prover to validate safety-critical embedded software used in cars and airplanes.
Posted: 23rd April 2010
A Comlab group, led by Daniel Kroening and Philipp Ruemmer, wins one of 12 Software Engineering Innovation Foundation (SEIF) Awards 2010 from Microsoft Research. The awards of $25000 will be presented at ICSE 2010 on May 5 in Cape Town. The award will seed-fund research on using Microsoft's Z3 theorem prover to validate safety-critical embedded software used in cars and airplanes.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Daniel Kroening receives verification award | 0 | 8.58 | 21-12-2011 |
| 2 | Dr Joël Ouaknine wins the Roger Needham Award 2010 | 0 | 4.46 | 10-06-2010 |
| 3 | Teaching Excellence Awards winners announced | 0 | 12.78 | 05-07-2010 |
| 4 | EPSRC-funded research seeks to advance the reliability of essential computer systems | 0 | 9 | 10-12-2024 |
| 5 | Researchers win CAV 2025 Paper Award for work on model checking | 0 | 11.72 | 04-08-2025 |
| 6 | COMLAB RESEARCH IN THE NEWS: SEALS project (Oxford PI: Ian Horrocks) | 0 | 3.97 | 24-11-2009 |
| 7 | A Dozen New Grants Awarded to Comlab | 0 | 17.14 | 08-04-2009 |
| 8 | FIVE COMLAB PAPERS ACCEPTED FOR VLDB CONFERENCE | 0 | 10.4 | 01-07-2010 |
| 9 | Best paper prize at JELIA 2010 | 0 | 10 | 04-10-2010 |
| 10 | Daniel Kroening receives CAV 2018 Award | 0 | 13.54 | 17-07-2018 |