17,850 reputation
1070126
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen Jul 25 at 10:34

A computer science lecturer at University College London. I do stuff in logic, theorem proving, program analysis and verification. I'm a very enthusiastic TeX/LaTeX user, most days.

I also run a small site for LaTeX beginners in spanish: LaTeX Fácil.


Mar
6
awarded  Nice Answer
Feb
23
awarded  Nice Answer
Dec
29
awarded  Nice Answer
Dec
21
awarded  Pundit
Dec
21
awarded  Nice Answer
Dec
12
awarded  Popular Question
Dec
1
awarded  Generalist
Nov
29
awarded  Nice Answer
Nov
26
awarded  Good Answer
Nov
14
awarded  Popular Question
Nov
10
awarded  Enlightened
Nov
10
awarded  Nice Answer
Oct
31
awarded  Good Question
Oct
25
awarded  Nice Question
Oct
17
awarded  Favorite Question
Sep
28
awarded  Nice Question
Sep
18
awarded  Notable Question
Sep
17
awarded  Nice Answer
Sep
6
awarded  Popular Question
Sep
5
awarded  Popular Question