Short CV/Education and training

Employment

  • Since 2015
    Senior Lecturer, University College London, UK

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

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

  • 2011 – 2015
    Guest researcher at CWI, The Netherlands

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

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.

Follow us

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. Dr. Bahareh Afshari

    Information and Communication Technologies (ICTs), Mathematics and statistics, Mathematical and Computational Logic

  2. Prof. Dr. Elisabeth André

    Information and Communication Technologies (ICTs), Human-computer interaction

  3. Prof. Dr. Jessica Burgner-Kahrs

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

  4. Prof. Dr. Susanne Biundo-Stephan

    Information and Communication Technologies (ICTs), Artificial Intelligence

 
 
Academia Net