I am a CNRS Researcher member of the Laboratoire IRIF at the Department of Mathematical Sciences and Department of Computer Science of the Université Paris Denis Diderot . My research interests are in Mathematical logic, proof theory, game semantics, theory and practice of programming languages, computer architecture, operating systems, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads. My ambition is to connect these topics.