https://pierre.senellart.com/ [email protected]
École normale supérieure, PSL University Paris, France 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.
Pierre Senellart
Adding support for provenance and uncertainty management to PostgreSQL databases
PierreSenellart
LaTeX package for automatically putting proof environments in appendix
