Paul-André Melliès

Paul-André Melliès is a CNRS Researcher, member of the Laboratoire PPS at the Department of Mathematical Sciences and Department of Computer Science of the Université Paris 7 - Denis Diderot. He is interested in Mathematical logic, proof theory, game semantics, theory and practice of programming languages, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, and operads (and in practice a lot more!)

His webpage is here.

category: people

Revised on February 18, 2013 20:08:32
by Charles Grellois?
(81.194.27.158)