613 reputation
31330
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
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.


613 Reputation

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
5 May 26 '11
5 May 12 '11
5 Apr 29 '11
2 Apr 27 '11