405 reputation
1614
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 4 months
seen Jan 2 at 18:00

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.


405 Reputation

5 Jan 3
5 Dec 30 '14
5 Jun 3 '14
3 Jan 4 '14
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