Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
183
reputation
10

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.

1
answer
6
questions
~5k
people reached

Top tags (20)

Score 1
Posts 6
Posts % 86
Score 1
Posts 5
Score 1
Posts 3
Score 1
Posts 2
Score 1
Posts 2
Score 0
Posts 2

Top posts (7) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

Bronze

10

Rarest