17,865 reputation
1070128
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen yesterday

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,865 Reputation

15 Jan 10 '13
10 Jan 7 '13
5 Jan 5 '13
10 Jan 4 '13
10 Jan 2 '13
5 Jan 1 '13
20 Dec 31 '12
10 Dec 30 '12
15 Dec 29 '12
25 Dec 27 '12
40 Dec 24 '12
5 Dec 22 '12
5 Dec 21 '12
20 Dec 19 '12
10 Dec 18 '12
37 Dec 17 '12
10 Dec 14 '12
35 Dec 13 '12
10 Dec 12 '12
30 Dec 11 '12
20 Dec 9 '12
10 Dec 8 '12
30 Dec 7 '12
10 Dec 4 '12
20 Dec 3 '12
10 Dec 1 '12
5 Nov 29 '12
10 Nov 28 '12
35 Nov 27 '12
30 Nov 25 '12