18,845 reputation
1177138
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Sep 17 at 7:18

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.


18,845 Reputation

5 Nov 20 '11
10 Nov 19 '11
20 Nov 14 '11
15 Nov 13 '11
15 Nov 12 '11
20 Nov 10 '11
15 Nov 8 '11
10 Nov 7 '11
10 Nov 5 '11
10 Nov 4 '11
10 Nov 3 '11
5 Nov 2 '11
10 Nov 1 '11
15 Oct 31 '11
25 Oct 29 '11
10 Oct 28 '11
5 Oct 27 '11
5 Oct 26 '11
5 Oct 25 '11
10 Oct 19 '11
15 Oct 18 '11
10 Oct 16 '11
10 Oct 14 '11
10 Oct 13 '11
20 Oct 11 '11
5 Oct 8 '11
15 Oct 7 '11
10 Oct 5 '11
20 Oct 2 '11
10 Oct 1 '11