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

50 Jan 24
25 Jan 23
25 Jan 21
10 Jan 20
5 Jan 17
10 Jan 15
10 Jan 14
5 Jan 13
5 Jan 12
10 Jan 11
5 Jan 10
25 Jan 9
10 Jan 8
10 Jan 7
20 Jan 6
20 Jan 4
15 Jan 3
10 Jan 2
20 Jan 1
10 Dec 30 '13
15 Dec 29 '13
20 Dec 28 '13
5 Dec 26 '13
5 Dec 25 '13
10 Dec 24 '13
5 Dec 21 '13
10 Dec 18 '13
15 Dec 17 '13
15 Dec 12 '13
5 Dec 11 '13