18,035 reputation
1071130
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen yesterday

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

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
10 Aug 17 '12
0 Aug 16 '12
5 Aug 15 '12
15 Aug 14 '12
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