18,280 reputation
1072134
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
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,280 Reputation

20 Sep 10 '11
5 Sep 9 '11
35 Sep 8 '11
25 Sep 7 '11
20 Sep 4 '11
10 Sep 2 '11
5 Sep 1 '11
20 Aug 30 '11
10 Aug 29 '11
15 Aug 27 '11
10 Aug 26 '11
10 Aug 24 '11
15 Aug 20 '11
5 Aug 19 '11
15 Aug 18 '11
67 Aug 17 '11
5 Aug 16 '11
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