Empirical software engineering researcher. Assistant professor at Télécom Paris. I'm interested in [url=https://fediscience.org/tags/opensource]#opensource[/url], [url=https://fediscience.org/tags/opencollaboration]#opencollaboration[/url], [url=https://fediscience.org/tags/openscience]#openscience[/url] and creating a better [url=https://fediscience.org/tags/democracy]#democracy[/url]. Maintainer of the Coq proof assistant and other open source software. He / Him. lgBtqia
![]()