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

PhD thesis

"Modalités de ressource et contrôle en logique tensorielle", Université Denis Diderot - Paris VII (03/12/2008), Paul-André Melliès (Dir.)

HDR

The manuscrit of my HDR is available here

Awards

  • Rosemont/Demassieux PhD thesis award in applied and fundamental mathematics from La Chancellerie des Universités de Paris, 2009
  • Second Gilles Kahn PhD thesis award from the Société des Personnels Enseignants et Chercheurs en Informatique de France (specif), 2009


Perso



Where to contact me

I am available @

My email : nicolas.tabareau@inria.fr