h1

h2

h3

h4

h5
h6
This website uses technically necessary cookies to offer the best possible functionality.
Further Information

Skip to Content Skip to Main Navigation Skip to Footer Skip to Search

Logo of UnRAVeL
Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • Deutsch

Faculties and Institutions

You Are Here: Alexandra Silva

RWTH

  • Main page
  • Intranet

Faculties and Institutes

  • Mathematics, Computer Science and Natural SciencesFaculty 1
  • ArchitectureFaculty 2
  • Civil EngineeringFaculty 3
  • Mechanical EngineeringFaculty 4
  • Georesources and Materials EngineeringFaculty 5
  • Electrical Engineering and Information TechnologyFaculty 6
  • Arts and HumanitiesFaculty 7
  • Business and EconomicsFaculty 8
  • MedicineFaculty 10

Find Institute:

Institutions

  • University Library
  • IT Center
  • Athletics and Recreation
  • Central University Administration
  • All Institutions

Navigation

  1. Academics
  2. Research
  3. The Research Training Group

You Are Here:

  1. Home
  2. The Research Training Group
  3. Guest Researchers
  4. Guests 2019
  5. Alexandra Silva
Print
Download digital business card

Sub-Navigation

Guest Researchers
  • Guests 2017
  • Guests 2018
  • Guests 2019
    • You Are Here:Alexandra Silva
  • Guests 2020
  • Guests 2021
  • Guests 2022
  • Guests 2023

Person

Prof. Dr.

Alexandra Silva

University College London

Address

Email: alexandra.silva@ucl.ac.uk
Website
 

Similar Topics

  • MFCS 2019: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time

last updated: 12/05/2021

top

Footer

RWTH

  • RWTH Main Page
  • Faculty of Mathematics, Computer Science and Natural Sciences
  • Business and Economics
  • Faculty of Civil Engineering

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Privacy Policy
  • Accessibility Statement
  • Feedback

Social Media

  • facebook
  • Xing

Institutions

  • Department of Computer Science
  • University Library