16,945 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 8 months
seen Apr 16 at 9:35

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

25 Dec 14 '11
15 Dec 13 '11
5 Dec 11 '11
0 Dec 6 '11
5 Dec 5 '11
20 Dec 2 '11
15 Nov 30 '11
20 Nov 29 '11
5 Nov 28 '11
20 Nov 26 '11
10 Nov 23 '11
10 Nov 22 '11
5 Nov 20 '11
10 Nov 19 '11
20 Nov 14 '11
15 Nov 13 '11
15 Nov 12 '11
20 Nov 10 '11
15 Nov 8 '11
10 Nov 7 '11
10 Nov 5 '11
10 Nov 4 '11
10 Nov 3 '11
5 Nov 2 '11
10 Nov 1 '11
15 Oct 31 '11
25 Oct 29 '11
10 Oct 28 '11
5 Oct 27 '11
5 Oct 26 '11