Position and presentation

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

Currently (2025) associate professor at Augusta University.

LaTeX

Using (mostly) Vanilla Tex on debian stable: This is TeX, Version 3.141592653 (TeX Live 2025) (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 travail 6.1.0-40-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.153-1 (2025-09-20) 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 or lipn.info/@clementaubert.