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

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
20 Sep 29 '11
15 Sep 28 '11
5 Sep 27 '11
30 Sep 22 '11
10 Sep 19 '11
10 Sep 17 '11
5 Sep 16 '11
35 Sep 15 '11
15 Sep 14 '11
10 Sep 13 '11
10 Sep 11 '11
20 Sep 10 '11
5 Sep 9 '11
35 Sep 8 '11
25 Sep 7 '11
20 Sep 4 '11
10 Sep 2 '11
5 Sep 1 '11
20 Aug 30 '11
10 Aug 29 '11
15 Aug 27 '11