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

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