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

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
5 Feb 22 '12
75 Feb 21 '12
10 Feb 20 '12
10 Feb 19 '12
20 Feb 18 '12
5 Feb 17 '12