Position and presentation
LaTeX-lover, linux-user, computer scientist and mathematician (in that order?).
Currently (2015) post-doc Inria at the LACL (Paris 12, UPEC, Créteil, France).
Using (mostly) Texstudio with pdflatex on debian stable:
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015)
Have a look at my publication list
I could drop some keywords, like
Implicit Computational Theory.
Freedom-lover and debian-user: Debian GNU/Linux 8.1 (jessie), x86_64 GNU
If you want to contact me, fell free to use the informations displayed at https://lacl.fr/~caubert/#contact .