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


19,764 Reputation

10 Jan 22
20 Jan 20
20 Jan 19
30 Jan 16
20 Jan 14
20 Jan 13
10 Jan 9
5 Jan 8
10 Jan 6
5 Jan 5
20 Jan 2
5 Dec 31 '14
20 Dec 29 '14
10 Dec 27 '14
10 Dec 26 '14
25 Dec 22 '14
10 Dec 20 '14
10 Dec 17 '14
5 Dec 15 '14
10 Dec 14 '14
10 Dec 10 '14
5 Dec 9 '14
20 Dec 8 '14
15 Dec 7 '14
10 Dec 6 '14
10 Dec 5 '14
15 Dec 4 '14
35 Dec 2 '14
15 Nov 30 '14
-2 Nov 26 '14