390 reputation
1413
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 2 years, 5 months
seen Apr 16 at 9:27

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.


390 Reputation

3 Jan 4
5 Oct 25 '13
5 Feb 22 '13
5 Feb 20 '13
5 Feb 4 '13
5 Oct 4 '12
5 Jul 25 '12
5 Jun 22 '12
5 Apr 29 '12
5 Apr 21 '12
5 Apr 14 '12
2 Apr 12 '12
5 Mar 23 '12
5 Mar 15 '12
5 Feb 29 '12
5 Jan 22 '12
5 Jan 16 '12
10 Jan 9 '12
7 Jan 8 '12
5 Jan 5 '12
5 Jan 3 '12
5 Dec 23 '11
5 Dec 21 '11
5 Dec 15 '11
5 Dec 14 '11
5 Dec 12 '11
5 Nov 30 '11
7 Nov 23 '11
15 Nov 22 '11
5 Nov 20 '11