Glaive

I am one of the directors of the Glaive-research group. We are focused on safe Machine Learning architectures, applications of containers to software, and constructive foundations of mathematics. A lot of our work revolves around the category of polynomial functors.