1,694 reputation
3 27

Clément

Position and presentation

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

Currently (2016) post-doc. researcher at the Computer Science Department of the Appalachian State University.

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, Category Theory, Parametricity.

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 .

Top Tags (93)

Score 15
Posts 6
Posts % 9
Score 14
Posts 5
Score 8
Posts 6
Score 6
Posts 7
Score 6
Posts 3
Score 5
Posts 7

Top Posts (66) All Questions Answers | Votes Newest

View all questions and answers

Badges (30)

Gold
Silver 3

Rarest

Bronze 27

Rarest