17,000 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 9 months
seen 2 hours ago

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

15 Apr 1 '11
10 Mar 31 '11
20 Mar 30 '11
10 Mar 29 '11
10 Mar 27 '11
10 Mar 25 '11
10 Mar 24 '11
15 Mar 20 '11
10 Mar 19 '11
5 Mar 18 '11
5 Mar 12 '11
10 Mar 11 '11
15 Mar 7 '11
10 Mar 6 '11
15 Mar 5 '11
5 Mar 4 '11
10 Mar 2 '11
5 Feb 28 '11
20 Feb 26 '11
20 Feb 25 '11
10 Feb 24 '11
10 Feb 23 '11
5 Feb 21 '11
25 Feb 20 '11
5 Feb 19 '11
5 Feb 18 '11
5 Feb 17 '11
40 Feb 16 '11
50 Feb 15 '11
10 Feb 13 '11