18,853 reputation
1177138
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen 22 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.


18,853 Reputation

10 Mar 14 '13
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