17,760 reputation
1069125
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
seen Jul 8 at 6:25

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

20 May 3 '12
20 May 2 '12
15 May 1 '12
10 Apr 30 '12
15 Apr 29 '12
55 Apr 26 '12
80 Apr 25 '12
5 Apr 24 '12
5 Apr 22 '12
5 Apr 20 '12
15 Apr 16 '12
45 Apr 15 '12
5 Apr 14 '12
10 Apr 13 '12
10 Apr 12 '12
40 Apr 11 '12
95 Apr 10 '12
20 Apr 5 '12
10 Apr 3 '12
25 Apr 1 '12
10 Mar 31 '12
20 Mar 30 '12
10 Mar 29 '12
10 Mar 28 '12
10 Mar 26 '12
5 Mar 25 '12
5 Mar 23 '12
20 Mar 22 '12
25 Mar 21 '12
5 Mar 17 '12