Skip to main content

Marta Kwiatkowska elected as fellow of the European Association for Theoretical Science

Posted:

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