18,515 reputation
1074137
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 3 months
seen Sep 17 at 7:18

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

20 Mar 21 '13
10 Mar 20 '13
20 Mar 19 '13
20 Mar 18 '13
5 Mar 16 '13
10 Mar 15 '13
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