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