19,804 reputation
1382143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 months
seen Feb 27 at 9:01

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

10 May 20 '14
30 May 19 '14
20 May 17 '14
5 May 16 '14
20 May 15 '14
5 May 14 '14
10 May 13 '14
25 May 12 '14
10 May 10 '14
35 May 9 '14
10 May 8 '14
10 May 7 '14
15 May 6 '14
15 May 4 '14
15 May 3 '14
5 Apr 29 '14
30 Apr 27 '14
5 Apr 26 '14
15 Apr 23 '14
15 Apr 22 '14
25 Apr 21 '14
10 Apr 18 '14
5 Apr 17 '14
5 Apr 16 '14
5 Apr 15 '14
20 Apr 14 '14
25 Apr 11 '14
10 Apr 10 '14
15 Apr 8 '14
10 Apr 7 '14