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

20 Mar 13 '13
15 Mar 12 '13
5 Mar 11 '13
10 Mar 9 '13
0 Mar 8 '13
30 Mar 7 '13
10 Mar 6 '13
5 Mar 5 '13
10 Mar 2 '13
5 Mar 1 '13
10 Feb 28 '13
10 Feb 27 '13
10 Feb 26 '13
5 Feb 25 '13
20 Feb 23 '13
10 Feb 22 '13
10 Feb 20 '13
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