19,303 reputation
1379142
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 6 months
seen Jan 20 at 17: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.


19,303 Reputation

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
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