18,255 reputation
1072134
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
seen Sep 11 at 19:11

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

10 Feb 4
5 Feb 3
25 Feb 2
15 Jan 31
10 Jan 30
10 Jan 29
10 Jan 28
10 Jan 27
10 Jan 26
20 Jan 25
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