EPSRC logo
Researcher Details
Name: Dr A Kavvos
Organisation: University of Bristol
Department: Computer Science
Current EPSRC-Supported Research Topics:
Algebra & Geometry Computer Sys. & Architecture
Fundamentals of Computing Logic & Combinatorics

Current EPSRC Support
EP/Y033418/1 Towards Directed Model Categories(P)
EP/Y000242/1 Language Embeddings for Proof Engineering(P)
Previous EPSRC Support
There is no previous EPSRC Support
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator