20,099 reputation
1484143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 8 months
seen Mar 11 at 8:49

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.


20,099 Reputation

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
5 Mar 16 '12
30 Mar 15 '12
5 Mar 14 '12
20 Mar 10 '12
25 Mar 8 '12
3 Mar 7 '12
45 Mar 6 '12
10 Mar 5 '12
5 Mar 4 '12
5 Mar 3 '12
10 Mar 1 '12
20 Feb 29 '12
15 Feb 28 '12
15 Feb 27 '12
10 Feb 25 '12
5 Feb 24 '12
15 Feb 23 '12