18,065 reputation
1071130
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
seen Aug 27 at 7:52

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

80 Apr 25 '12
5 Apr 24 '12
5 Apr 22 '12
5 Apr 20 '12
15 Apr 16 '12
45 Apr 15 '12
5 Apr 14 '12
10 Apr 13 '12
10 Apr 12 '12
40 Apr 11 '12
95 Apr 10 '12
20 Apr 5 '12
10 Apr 3 '12
25 Apr 1 '12
10 Mar 31 '12
20 Mar 30 '12
10 Mar 29 '12
10 Mar 28 '12
10 Mar 26 '12
5 Mar 25 '12
5 Mar 23 '12
20 Mar 22 '12
25 Mar 21 '12
5 Mar 17 '12
5 Mar 16 '12
30 Mar 15 '12
5 Mar 14 '12
20 Mar 10 '12
25 Mar 8 '12
3 Mar 7 '12