The 2017 Presburger Committee has unanimously selected Alexandra Silva, a Senior Lecturer at University College London as recipient of the prestigious 2017 EATCS Presburger Award for young scientists. She received the award for a large part of her PhD research, which she carried out in the Formal Methods research group at Centrum Wiskunde & Informatica (CWI) in Amsterdam, under supervision of Jan Rutten (CWI and RU) and Marcello Bonsangue (UL).
The jury said: “Alexandra Silva has been instrumental in fostering the field of coalgebraic modelling and reasoning. In her groundbreaking thesis in 2010, she developed Kleene coalgebra, showing how automata and their extensions can be naturally embedded within a coalgebraic framework and formulating the coalgebraic analogue of Kleene's theorem. This fundamental new insight has paved the way for mechanizing the correspondence between state-based and behavioural views of systems in much more general settings than was possible before. Working with collaborators, Alexandra employed coalgebraic techniques to shed new light into language equivalences, automata minimization and determinisation, resource allocation problems and infinitary term rewriting, in particular providing an explanation for why the Brzozowski minimization algorithm works and extending it to many other settings. More recently, her work has also resulted in practical impact in programming languages and software defined networks, including probabilistic extensions. Alexandra's work is of exceptional quality and visibility, and has already been taken up by many researchers, establishing her credentials as a leader in this field.”
The Presburger Award is given to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Presburger Award carries a prize money of 1000 Euros and will be delivered at ICALP 2017, which will take place in Warsaw (Poland) from the 10th till the 14th of July 2017. The 2017 Presburger Award Committee consisted of Marta Kwiatkowska (chair), Stephan Kreutzer and Jukka Suomela.The list of the previous recipients of the Presburger Award is available at http://eatcs.org/index.php/presburger
The 2011 CWI news item on her graduation with honours: https://www.cwi.nl/news/2011/cum-laude-thesis-kleene-coalgebra-improve-software-quality
