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

30 Oct 20 '12
15 Oct 18 '12
5 Oct 17 '12
5 Oct 16 '12
20 Oct 15 '12
5 Oct 13 '12
10 Oct 12 '12
30 Oct 10 '12
15 Oct 9 '12
10 Oct 8 '12
10 Oct 7 '12
-15 Oct 6 '12
5 Oct 4 '12
40 Oct 2 '12
10 Sep 30 '12
10 Sep 29 '12
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