1,241 reputation
3 24

Clément

Position and presentation

LaTeX-lover, linux-user, computer scientist and mathematician (in that order?).

Currently (2015) post-doc Inria at the LACL (Paris 12, UPEC, Créteil, France).

LaTeX

Using (mostly) Texstudio with pdflatex on debian stable:

This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015)

Research

Have a look at my publication list

I could drop some keywords, like Proof Theory, Complexity Theory, Linear LogicConcurrency, Automata, Implicit Computational Theory.

Linux

Freedom-lover and debian-user: Debian GNU/Linux 8.1 (jessie), x86_64 GNU

Contact

If you want to contact me, fell free to use the informations displayed at https://lacl.fr/~caubert/#contact .

Stack Overflow Careers profile

Top Tags (66)

Score 15
Posts 5
Posts % 11
Score 15
Posts 3
Score 10
Posts 3
Score 8
Posts 2
Score 7
Posts 5
Score 6
Posts 7

Top Posts (45) All Questions Answers | Votes Newest

View all questions and answers

Badges (27)

Gold
Silver 3

Rarest

Bronze 24

Rarest