19,048 reputation
1178140
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 5 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.


19,048 Reputation

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
15 Jun 11 '12
5 Jun 9 '12
15 Jun 8 '12
5 Jun 7 '12
5 Jun 6 '12
45 Jun 5 '12
20 Jun 4 '12
5 Jun 3 '12
10 Jun 1 '12
5 May 30 '12
5 May 28 '12
10 May 27 '12
10 May 25 '12
5 May 24 '12
15 May 23 '12
15 May 22 '12
5 May 20 '12
5 May 16 '12
25 May 15 '12
35 May 13 '12
15 May 12 '12
5 May 11 '12