Alexandra Silva

Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Silva, Alexandra', query time: 0.02s Refine Results
  1. 1
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
    by Silva, Alexandra
    Published 2021
    Other Authors: “…Silva, Alexandra…”
    eBook
  2. 2
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
    by Silva, Alexandra
    Published 2021
    Other Authors: “…Silva, Alexandra…”
    eBook
  3. 3
    Foundations of Probabilistic Programming
    Published 2021
    Other Authors:
    eBook

Search Tools: