19,374 reputation
1380143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 6 months
seen Jan 26 at 19:24

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

10 Dec 6 '14
10 Dec 5 '14
15 Dec 4 '14
35 Dec 2 '14
15 Nov 30 '14
-2 Nov 26 '14
10 Nov 23 '14
10 Nov 21 '14
10 Nov 20 '14
10 Nov 19 '14
10 Nov 18 '14
15 Nov 15 '14
40 Nov 14 '14
25 Nov 13 '14
30 Nov 11 '14
20 Nov 10 '14
5 Nov 9 '14
10 Nov 8 '14
10 Nov 7 '14
15 Nov 6 '14
5 Nov 5 '14
20 Nov 4 '14
10 Nov 1 '14
10 Oct 31 '14
15 Oct 30 '14
15 Oct 29 '14
5 Oct 27 '14
20 Oct 26 '14
20 Oct 25 '14
10 Oct 23 '14