17,770 reputation
1069125
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
seen Jul 8 at 6:25

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,770 Reputation

12 Jul 7 '11
15 Jul 6 '11
22 Jul 5 '11
32 Jul 4 '11
10 Jul 2 '11
25 Jul 1 '11
12 Jun 30 '11
47 Jun 29 '11
25 Jun 28 '11
15 Jun 24 '11
10 Jun 20 '11
5 Jun 17 '11
5 Jun 16 '11
10 Jun 15 '11
10 Jun 14 '11
5 Jun 13 '11
5 Jun 8 '11
5 Jun 6 '11
5 Jun 2 '11
5 Jun 1 '11
32 May 31 '11
-130 May 30 '11
20 May 29 '11
10 May 28 '11
100 May 27 '11
20 May 26 '11
5 May 24 '11
5 May 22 '11
40 May 20 '11
5 May 19 '11