19,804 reputation
1382143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 months
seen Feb 27 at 9:01

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

5 Nov 3 '12
12 Nov 2 '12
15 Nov 1 '12
10 Oct 29 '12
10 Oct 27 '12
15 Oct 26 '12
5 Oct 24 '12
15 Oct 21 '12
30 Oct 20 '12
15 Oct 18 '12
5 Oct 17 '12
5 Oct 16 '12
20 Oct 15 '12
5 Oct 13 '12
10 Oct 12 '12
30 Oct 10 '12
15 Oct 9 '12
10 Oct 8 '12
10 Oct 7 '12
-15 Oct 6 '12
5 Oct 4 '12
40 Oct 2 '12
10 Sep 30 '12
10 Sep 29 '12
15 Sep 28 '12
15 Sep 27 '12
10 Sep 26 '12
20 Sep 25 '12
35 Sep 24 '12
20 Sep 23 '12