Alexandra Silva

Alexandra Silva

Professor of Computer Science

Projects

AI4AI: Assured Integrity for AI-Based Software

AI4AI: Assured Integrity for AI-Based Software

NetKAT

NetKAT

CALF: Categorical Automata Learning Framework

CALF: Categorical Automata Learning Framework

CoNeCo: Concurrency, Networks, and Coinduction

CoNeCo: Concurrency, Networks, and Coinduction

Probabilistic Foundations for Networks

Probabilistic Foundations for Networks

ProbNetKAT

ProbNetKAT

Funding

I gratefully acknowledge funding from the following organisations.

Amazon Advanced Research and Invention Agency (ARIA) Advanced Research Projects Agency for Health (ARPA-H) Defense Advanced Research Projects Agency (DARPA) Engineering and Physical Sciences Research Council (EPSRC) European Research Council (ERC) Fundação para a Ciência e a Tecnologia (FCT) Google Research Royal Netherlands Academy of Arts and Sciences (KNAW) The Leverhulme Trust National Science Foundation (NSF) Dutch Research Council (NWO) Office of Naval Research (ONR) The Royal Society Verified Trustworthy Software Systems (VeTSS)