EPSRC logo
Researcher Details
Name: Professor A Silva
Organisation: UCL
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/V002376/1 Nominal String Diagrams(C)
EP/S028641/1 Verification of Hardware Concurrency via Model Learning (CLeVer)(P)
Previous EPSRC Support
EP/S013008/1 A coalgebraic framework for reductive logic and proof-search (ReLiC)(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator