Clément

Augusta, GA, United States

https://aubert.perso.math.cnrs.fr/#contact

Position and presentation

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

Currently (2017) 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: Debian 4.9.30-2+deb9u3 (2017-08-06) x86_64 GNU/Linux

Contact

If you want to contact me, fell free to use the informations displayed at aubert.perso.math.cnrs.fr/#contact.

Top Answers
1 2