648 reputation
41330
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 2 months
seen Oct 22 at 21:06

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.


648 Reputation

7 Feb 7 '13
15 Feb 4 '13
5 Jan 14 '13
5 Jan 7 '13
0 Dec 4 '12
5 Nov 7 '12
5 Sep 3 '12
5 Jul 23 '12
5 Jul 6 '12
10 Jun 15 '12
5 May 12 '12
30 May 1 '12
5 Apr 2 '12
5 Mar 15 '12
2 Jan 16 '12
5 Dec 14 '11
5 Nov 24 '11
20 Nov 23 '11
5 Nov 16 '11
5 Nov 9 '11
15 Oct 19 '11
5 Oct 18 '11
5 Sep 21 '11
5 Sep 20 '11
5 Aug 14 '11
5 Aug 11 '11
2 Jun 24 '11
5 Jun 17 '11
5 Jun 14 '11
20 Jun 13 '11