17,745 reputation
1069125
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
seen yesterday

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.


17,745 Reputation

15 Aug 7 '12
10 Aug 6 '12
10 Aug 3 '12
15 Aug 1 '12
15 Jul 31 '12
15 Jul 30 '12
10 Jul 27 '12
70 Jul 26 '12
27 Jul 25 '12
35 Jul 24 '12
20 Jul 23 '12
15 Jul 21 '12
-2 Jul 20 '12
20 Jul 19 '12
15 Jul 13 '12
3 Jul 12 '12
5 Jul 11 '12
5 Jul 8 '12
10 Jul 7 '12
48 Jul 6 '12
20 Jul 5 '12
20 Jul 3 '12
5 Jul 2 '12
10 Jun 24 '12
15 Jun 21 '12
40 Jun 19 '12
15 Jun 18 '12
5 Jun 17 '12
15 Jun 13 '12
10 Jun 12 '12