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