Clément
Position and presentation
LaTeX-lover, linux-user, computer scientist and mathematician (in that order?).
Currently (2020) assistant professor at Augusta University.
LaTeX
Using (mostly) Vanilla Tex on debian stable: This is TeX, Version 3.14159265 (TeX Live 2020) (preloaded format=tex)
.
Research
Have a look at my publication list.
I could drop some keywords, like Proof Theory
, Complexity Theory
, Linear Logic
, Concurrency
, Automata
, Implicit Computational Theory
, Category Theory
.
Linux
Freedom-lover and debian-user: Linux debian 4.19.0-9-amd64 #1 SMP Debian 4.19.118-2 (2020-04-29) 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.
-
Augusta, GA, United States of America
-
Member for 6 years, 6 months
-
861 profile views
-
Last seen 6 hours ago
Communities (55)
Top network posts
Badges (44)
Gold
Rarest
-
Nov 11 '17
Silver
Rarest
-
Apr 9 '18
-
Mar 14 '18
-
Jul 25
Bronze
Rarest
-
Apr 3 '18
-
Mar 28 '18
-
Jul 22