16,935 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 8 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.


16,935 Reputation

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
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