19,013 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 11 at 9:41

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.


19,013 Reputation

30 Dec 19 '11
10 Dec 15 '11
25 Dec 14 '11
15 Dec 13 '11
5 Dec 11 '11
0 Dec 6 '11
5 Dec 5 '11
20 Dec 2 '11
15 Nov 30 '11
20 Nov 29 '11
5 Nov 28 '11
20 Nov 26 '11
10 Nov 23 '11
10 Nov 22 '11
5 Nov 20 '11
10 Nov 19 '11
20 Nov 14 '11
15 Nov 13 '11
15 Nov 12 '11
20 Nov 10 '11
15 Nov 8 '11
10 Nov 7 '11
10 Nov 5 '11
10 Nov 4 '11
10 Nov 3 '11
5 Nov 2 '11
10 Nov 1 '11
15 Oct 31 '11
25 Oct 29 '11
10 Oct 28 '11