GlAIVe Research

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

People

Dylan Braithwaite

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

Jade Master

jade@glaive-research.org
https://jademaster.xyz/

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