About Paul-André Melliès

Logician and computer scientist at work

Mathematical logic, proof theory, game semantics, theory and practice of programming languages, computer architecture, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads.

#CNRS #INRIA #UPCité #ENSParis #IRIF #Picube #Malinca

Lists

Timeline

{username} has no activity yet