Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAPosted: 7th February 2017
Congratulations to Marta Kwiatkowska, who has just been elected as a Fellow of the European Association for Theoretical Computer Science (EATCS). Marta's fellowship was awarded for her pioneering work in the development of model checking for quantitative systems and in its application to a wide range of areas, also for outstanding mentorship, and serving as a role model for female researchers in Computer Science.
Read more here: goo.gl/S5y1OS
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Editorial Board of the Royal Society Philosophical Transactions A | 0 | 4.31 | 07-09-2009 |
| 2 | Marta Kwiatkowska named as BCS Lovelace Medal Winner 2019 | 0 | 21.11 | 28-06-2019 |
| 3 | Professor to give three keynote lectures at international conferences | 0 | 19.24 | 04-01-2013 |
| 4 | Two professors elected to Academia Europæa | 0 | 9.07 | 26-09-2011 |
| 5 | Ursula Martin made Fellow of the Royal Society of Edinburgh | 0 | 8.1 | 15-02-2017 |
| 6 | Oana Tifrea-Marciuska awarded the EPSRC Doctoral Prize | 0 | 24.29 | 19-06-2017 |
| 7 | Anna Muszkiewicz awarded the EPSRC Doctoral Prize | 0 | 10 | 12-05-2016 |
| 8 | VERIPACE: new ERC Proof of Concept Grant awarded to Professor Marta Kwiatkowska | 0 | 10 | 30-10-2013 |
| 9 | Prestigious Newton Fellowship awarded to Comlab visitor | 0 | 7.66 | 15-09-2010 |
| 10 | Oxford professor to give Edinburgh University’s Milner Lecture | 0 | 9.53 | 09-03-2012 |