Date Range
Date Range
Date Range
I am a mathematician with a PhD from Università Nice Sophia Antipolis. Currently, I am a postdoctoral researcher in the Ascola team at INRIA. Logic and type theory, in particular Homotopy Type Theory. Formal proofs and formalised mathematics, in particular Univalent Foundations. Ecole des Mines de Nantes.
So they come here to get heard. Voices get louder out in the hall, Raised in anger. And a crowd of students Rushes away to see it. Free entertainment! November 11, 2016.
Dogs, cats, knitting, etc. The idea here is to keep track of the important things, that I would otherwise forget, disregard or ignore. I expect the content to be mostly knitting related. Thursday, February 07, 2013.