18,035 reputation
1071130
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen 2 days 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,035 Reputation

5 Aug 15 '11
10 Aug 14 '11
5 Aug 12 '11
5 Aug 11 '11
5 Aug 9 '11
10 Aug 7 '11
20 Aug 6 '11
5 Aug 5 '11
5 Jul 30 '11
5 Jul 29 '11
5 Jul 26 '11
10 Jul 25 '11
65 Jul 23 '11
49 Jul 22 '11
7 Jul 18 '11
5 Jul 17 '11
5 Jul 15 '11
37 Jul 14 '11
27 Jul 12 '11
20 Jul 11 '11
10 Jul 9 '11
5 Jul 8 '11
12 Jul 7 '11
15 Jul 6 '11
22 Jul 5 '11
32 Jul 4 '11
10 Jul 2 '11
25 Jul 1 '11
12 Jun 30 '11
47 Jun 29 '11