Name: Pierre Senellart
Type: User
Company: École normale supérieure, PSL University
Bio: Pierre Senellart is a Professor in the Computer Science Department at the École normale supérieure (ENS) in Paris, France, and head of the @INRIA Valda team.
Twitter: PierreSenellart
Location: Paris, France
Blog: https://pierre.senellart.com/
Pierre Senellart's Projects
LaTeX package for automatically putting proof environments in appendix
LaTeX template for ERC proposals
Large sparse graph library
Simple implementation of matrices in C for educational purposes
Nextcloud Timers App
Address lookup tool for Notmuch in C using GLib and libnotmuch
Tool to automatically enrich PDF of research articles with additional information (hyperlinks, metadata, etc.)
Adding support for provenance and uncertainty management to PostgreSQL databases
Collection of tools to extract semantic information from (mathematical) research articles