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://sites.google.com/view/jadeedenstarmaster/home

Zans Mihejevs

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

André Videla

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

Neil Ghani

neil.ghani@strath.ac.uk
C.V.

Jules Hedges

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