18,535 reputation
1074137
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 3 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,535 Reputation

15 Sep 28 '12
15 Sep 27 '12
10 Sep 26 '12
20 Sep 25 '12
35 Sep 24 '12
20 Sep 23 '12
20 Sep 21 '12
5 Sep 18 '12
20 Sep 16 '12
-2 Sep 14 '12
5 Sep 12 '12
5 Sep 11 '12
10 Sep 10 '12
20 Sep 7 '12
-45 Sep 6 '12
10 Sep 3 '12
10 Sep 2 '12
20 Aug 29 '12
25 Aug 28 '12
5 Aug 27 '12
10 Aug 25 '12
15 Aug 21 '12
5 Aug 20 '12
10 Aug 17 '12
0 Aug 16 '12
5 Aug 15 '12
15 Aug 14 '12
15 Aug 12 '12
5 Aug 11 '12
5 Aug 10 '12