18,853 reputation
1177138
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen 8 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.


18,853 Reputation

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
5 Mar 30 '13
20 Mar 29 '13
20 Mar 26 '13
10 Mar 25 '13
15 Mar 24 '13
5 Mar 22 '13
20 Mar 21 '13
10 Mar 20 '13
20 Mar 19 '13
20 Mar 18 '13
5 Mar 16 '13
10 Mar 15 '13