Short CV/Education and training

Employment

  • Since 2015
    Senior Lecturer, University College London, UK

  • 2011 – 2015
    Assistant professor Radboud University, The Netherlands, Tenured since September 2012

  • 2011 – 2015
    Guest researcher at CWI, The Netherlands

  • Since 2011
    Guest researcher at HASLab / INESC TEC, Braga, Portugal.

  • 2010 – 2011
    Post-doc at CWI, The Netherlands

  • 2006 – 2010
    PhD Student at CWI, The Netherlands

  • 2006
    Teaching assistant at University of Minho

  • 2005 – 2006
    Researcher at Formal Methods Group, University of Minho

  • 2004 – 2005
    Teaching assistant at University of Minho

  • 2004
    Intern at CERN, the European Organization for Nuclear Research

  • 2002 – 2003
    Junior Researcher at Calouste Gulbenkian Foundation

Education

  • 2006 – 2010
    PhD in Computer Science, cum laude, Radboud University Nijmegen

  • 2001 – 2006
    Licenciatura in Mathematics and Computer Science, Universidade do Minho, Braga, Portugal

  • 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.

  • Alexandra is currently a senior lecturer 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 Presburger Award 2017, the Leverhulme prize 2016, and an ERC starting Grant in 2015.

Selected publications

Contact

You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here

Testimonials

  1. Read what our members say about AcademiaNet.

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Prof. Dr. Jessica Burgner-Kahrs

    Information and Communication Technologies (ICTs), Engineering and engineering trades Robotics, continuous robots, soft robots

  2. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs)Efficient algorithms

  3. Dr. Sihem Amer-Yahia PhD

    Information and Communication Technologies (ICTs)Data Management Research

  4. Prof. Ana Cavalcanti

    Information and Communication Technologies (ICTs)Software Engineering