Write a Blog >>
Alan Schmitt

Registered user since Fri 28 Sep 2018

Name: Alan Schmitt

Bio: Researcher at INRIA, Research Center Rennes - Bretagne Atlantique, Celtique Project-Team, in the IRISA laboratory.

Affiliation: Inria

Personal website: https://www.irisa.fr/celtique/aschmitt/

Contributions

CoqPL 2016Committee Member in Program Committee within the CoqPL-track
Show activities from other conferences

POPL 2016-profile
View general profile