19,754 reputation
1381143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 months
seen 13 hours ago

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

15 May 29 '13
10 May 28 '13
5 May 27 '13
5 May 26 '13
10 May 25 '13
5 May 24 '13
30 May 22 '13
5 May 21 '13
20 May 20 '13
10 May 19 '13
20 May 17 '13
25 May 13 '13
10 May 10 '13
10 May 9 '13
10 May 8 '13
25 May 7 '13
20 May 6 '13
5 May 5 '13
20 May 4 '13
10 May 2 '13
10 May 1 '13
25 Apr 30 '13
40 Apr 29 '13
5 Apr 28 '13
20 Apr 26 '13
-2 Apr 25 '13
20 Apr 24 '13
15 Apr 23 '13
20 Apr 21 '13
25 Apr 20 '13