Paul-André Melliès

Paul-André Melliès

Paul-Andre Mellies is a Visiting Professor of Computer Science at NYU Shanghai and 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.

Education

  • PhD, Computer and Information Science
    Université Denis Diderot Paris VII

Research Interests

  • Mathematical Logic
  • Proof Theory
  • Game Semantic
  • Theory and Practice of Programming Languages
  • Computer Architecture
  • Operating Systems
  • Formalized Mathematics
  • Proof Assistants
  • Mathematical Physics
  • Knot Theory
  • Quantum Groups
  • N-dimensional Algebra
  • Operads