16,945 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 9 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

15 Aug 12 '12
5 Aug 11 '12
5 Aug 10 '12
10 Aug 9 '12
15 Aug 7 '12
10 Aug 6 '12
10 Aug 3 '12
15 Aug 1 '12
15 Jul 31 '12
15 Jul 30 '12
10 Jul 27 '12
70 Jul 26 '12
27 Jul 25 '12
35 Jul 24 '12
20 Jul 23 '12
15 Jul 21 '12
-2 Jul 20 '12
20 Jul 19 '12
15 Jul 13 '12
3 Jul 12 '12
5 Jul 11 '12
5 Jul 8 '12
10 Jul 7 '12
48 Jul 6 '12
20 Jul 5 '12
20 Jul 3 '12
5 Jul 2 '12
10 Jun 24 '12
15 Jun 21 '12
40 Jun 19 '12