19,013 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 11 at 9:41

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

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
20 Apr 19 '13
65 Apr 18 '13
38 Apr 16 '13
35 Apr 15 '13
10 Apr 14 '13
5 Apr 13 '13
25 Apr 12 '13
20 Apr 11 '13
10 Apr 10 '13
5 Apr 9 '13
30 Apr 8 '13
10 Apr 4 '13
25 Apr 3 '13
22 Apr 2 '13
10 Apr 1 '13
0 Mar 31 '13