2,587
reputation
1
10
24

Clément

Position and presentation

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

Currently (2018) assistant professor at Augusta University.

LaTeX

Using (mostly) Vanilla Tex on debian stable: This is TeX, Version 3.14159265 (TeX Live 2017) (preloaded format=tex)

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: Linux debian 4.9.0-6-amd64 #1 SMP Debian 4.9.82-1+deb9u3 (2018-03-02) x86_64 GNU/Linux

Contact

If you want to contact me, fell free to use the information displayed at aubert.perso.math.cnrs.fr/#contact.

18
answers
1
question
~60k
people reached

Top tags (43)

Score 199
Posts 3
Posts % 16
Score 171
Posts 2
Score 63
Posts 4
Score 34
Posts 2
Score 34
Posts 2
Score 27
Posts 4

Top posts (19) All Questions Answers | Votes Newest

View all questions and answers

Badges (35)

Gold

1

Rarest

Silver

10

Rarest

Bronze

24

Rarest