Glaive Research

We're a research group based in the UK focusing on applying category theory to AI. Our tools are dependently typed theories, theorem provers, and whiteboards.

People

Dylan Braithwaite

dylan@glaive-research.org
https://dylanbraithwaite.github.io/

Zans Mihejevs

zans@glaive-research.org
https://zanzix.github.io/

André Videla

andre@glaive-research.org
https://andrevidela.com/

Jules Hedges

jules@cybercat.institute
https://julesh.com

Bruno Gavranović

bruno@glaive-research.org
https://www.brunogavranovic.com/