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


17,855 Reputation

5 May 11 '12
30 May 10 '12
30 May 9 '12
10 May 8 '12
10 May 7 '12
10 May 6 '12
10 May 5 '12
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