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

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
10 Feb 7 '13
20 Feb 6 '13
15 Feb 4 '13
15 Feb 3 '13
10 Feb 1 '13
25 Jan 30 '13
10 Jan 29 '13
30 Jan 28 '13