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