Alexandra Silva
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | Portugaise |
| Domaines | informatique théorique, programmation fonctionnelle, coinduction |
|---|---|
| Institutions | University College London |
| Formation | Université du Minho, CWI |
| Directeur de thèse | Jan Rutten et Marcello Bonsangue |
| Renommée pour | raisonnement coalgébrique, coinduction |
| Distinctions | prix Presburger (2017) |
| Site | www.alexandrasilva.org#/main.html |
Alexandra Silva, de nom complet Alexandra Martins da Silva, née le , est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes.
Silva est née en 1984. Elle a fait ses études universitaires à l'université du Minho en informatique et mathématiques, et a obtenu son diplôme en 2006. Elle a soutenu sa thèse au CWI à Amsterdam en 2010[1] sous la direction conjointe de Jan Rutten et Marcello Bonsangue (titre de sa thèse : « Kleene Coalgebra »). Elle a ensuite occupé divers postes aux Pays-Bas et au Portugal, et a séjourné comme professeur invité ou chercheur invité dans plusieurs institutions (Université Cornell, École normale supérieure de Lyon, Université d'Oxford, Université de l'Indiana, Institut Simons) puis a rejoint l'University College London où elle est professeur d'algèbre, de sémantique et de calcul.
En 2017, elle obtient le prix Presburger de l'EATCS[2] pour son rôle dans la promotion du domaine de modélisation et du raisonnement coalgébrique. Ce prix distingue chaque année un ou une jeune scientifique ayant apporté des contributions exceptionnelles au domaine de l'informatique théorique.
