Nicolas Tabareau

2014 - Ascola project-team

Nicolas Tabareau, 2014 winner of an ERC – Starting Grant, works on Coq which is hailed as one of the most advanced general-purpose proof assistant worldwide.

One of the ultimate goals of this long-haul effort is to transfer the technology to the industry.

Read the complete interview