2,847
reputation
2
14
67

Clément

Position and presentation

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

Currently (2019) assistant professor at Augusta University.

LaTeX

Using (mostly) Vanilla Tex on debian stable: This is TeX, Version 3.14159265 (TeX Live 2019) (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-9-amd64 #1 SMP Debian 4.9.168-1+deb9u4 (2019-07-19) 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 and spots.augusta.edu/caubert/#contact.

73
answers
27
questions
~357k
people reached

Top tags (132)

Score 25
Posts 4
Posts % 4
Score 19
Posts 8
Score 18
Posts 7
Score 14
Posts 7
Score 11
Posts 5
Score 9
Posts 5

Top posts (100) All Questions Answers | Votes Newest

View all questions and answers

Badges (83)

Gold

2

Rarest

Silver

14

Rarest

Bronze

67

Rarest