18,585 reputation
1075137
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,585 Reputation

5 Oct 26 '11
5 Oct 25 '11
10 Oct 19 '11
15 Oct 18 '11
10 Oct 16 '11
10 Oct 14 '11
10 Oct 13 '11
20 Oct 11 '11
5 Oct 8 '11
15 Oct 7 '11
10 Oct 5 '11
20 Oct 2 '11
10 Oct 1 '11
20 Sep 29 '11
15 Sep 28 '11
5 Sep 27 '11
30 Sep 22 '11
10 Sep 19 '11
10 Sep 17 '11
5 Sep 16 '11
35 Sep 15 '11
15 Sep 14 '11
10 Sep 13 '11
10 Sep 11 '11
20 Sep 10 '11
5 Sep 9 '11
35 Sep 8 '11
25 Sep 7 '11
20 Sep 4 '11
10 Sep 2 '11