19,013 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 11 at 9:41

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

10 Feb 19 '13
10 Feb 18 '13
10 Feb 16 '13
10 Feb 15 '13
20 Feb 14 '13
25 Feb 10 '13
10 Feb 7 '13
20 Feb 6 '13
15 Feb 4 '13
15 Feb 3 '13
10 Feb 1 '13
25 Jan 30 '13
10 Jan 29 '13
30 Jan 28 '13
15 Jan 25 '13
5 Jan 24 '13
10 Jan 23 '13
20 Jan 22 '13
10 Jan 21 '13
15 Jan 20 '13
15 Jan 18 '13
15 Jan 16 '13
10 Jan 14 '13
5 Jan 13 '13
10 Jan 12 '13
15 Jan 11 '13
15 Jan 10 '13
10 Jan 7 '13
5 Jan 5 '13
10 Jan 4 '13