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 7 years, 5 months
-
702 profile views
-
Last seen 15 hours ago
Communities (55)
Top Meta Posts
2
2
Top network posts
Badges (104)
Gold
Rarest
-
Aug 20 '17
Silver
Rarest
-
Mar 4 '19
-
Feb 5 '15
Bronze
Rarest
-
Jan 17 '15
-
Jan 15 '15
-
Oct 5 '17