17,850 reputation
1070126
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen Jul 25 at 10:34

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.


17,850 Reputation

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
20 Sep 21 '12
5 Sep 18 '12
20 Sep 16 '12
-2 Sep 14 '12
5 Sep 12 '12
5 Sep 11 '12
10 Sep 10 '12
20 Sep 7 '12
-45 Sep 6 '12
10 Sep 3 '12
10 Sep 2 '12
20 Aug 29 '12
25 Aug 28 '12
5 Aug 27 '12
10 Aug 25 '12
15 Aug 21 '12
5 Aug 20 '12