Marta Kwiatkowska elected as fellow of the European Association for Theoretical Science
Posted: 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