17,000 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 9 months
seen 19 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.


17,000 Reputation

10 Jun 24 '12
15 Jun 21 '12
40 Jun 19 '12
15 Jun 18 '12
5 Jun 17 '12
15 Jun 13 '12
10 Jun 12 '12
15 Jun 11 '12
5 Jun 9 '12
15 Jun 8 '12
5 Jun 7 '12
5 Jun 6 '12
45 Jun 5 '12
20 Jun 4 '12
5 Jun 3 '12
10 Jun 1 '12
5 May 30 '12
5 May 28 '12
10 May 27 '12
10 May 25 '12
5 May 24 '12
15 May 23 '12
15 May 22 '12
5 May 20 '12
5 May 16 '12
25 May 15 '12
35 May 13 '12
15 May 12 '12
5 May 11 '12
30 May 10 '12