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