Alexandra Silva

Silva, Alexandra (19..-....)

XX
Date de naissance
19XX
Langues d'expression
anglais
Senior Lecturer à l'University College London (Angleterre). Membre du jury d'une thèse en Informatique soutenue à l'Université de Lyon en 2016

Alexandra Silva is a theoretical computer scientist whose main research focuses on semantics of programming languages and modular development of algorithms for computational models. A lot of her work uses the unifying perspective offered by coalgebra, a mathematical framework established in the last decades.

She is currently a Professor of Algebra, Semantics, and Computation at University College London. Previously, she was an assistant professor in Nijmegen and a post-doc at Cornell University, with Prof. Dexter Kozen, and a PhD student at the Dutch national research center for Mathematics and Computer Science (CWI), under the supervision of Prof. Jan Rutten and Dr. Marcello Bonsangue.

She was the recipient of the Needham Award 2018, the Presburger Award 2017, the Leverhulme prize 2016, and an ERC starting Grant in 2015.


Vidéos

CoNeCo: Concurrency, Networks and Coinduction
Conférence
01:04:31
CoNeCo: Concurrency, Networks and Coinduction
Silva
Alexandra

In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to