Inria ERC
Photo



Nicolas Tabareau
Inria Researcher (CR1)
Ascola Team



Research

News

Current Projects

  • ERC Starting Grant CoqHoTT (PI, 2015-2020)

What I'm interested in

  • Proof Assistant (Coq)
  • (Homotopy) Type Theory
  • Aspect Oriented Programming
  • Category theory
  • Semantics for low level languages
  • Cognitive Science
  • Stochastic calculus

Softwares

Here is a list of softwares/developments I have co-developed:
  • Forcing for Coq - An extension of Coq that integrates forcing. It enables in particular to use general inductive types with Coq.
  • Aspect JoCaml - A distributed aspect calculus based on JoCaml.
  • Strid - A string diagram generator.

Students

Here is a list of my past/current PhD students.

Publications