688 reputation
41431
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 months
seen Mar 19 at 8: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.


688 Reputation

15 Jan 22
15 Jan 16
5 Jan 8
+5 10:47 upvote
5 Dec 15 '14
5 Sep 28 '14
10 Aug 16 '14
15 Aug 15 '14
5 Aug 9 '14
10 Jul 28 '14
5 Jul 24 '14
5 Jul 23 '14
5 Jul 5 '14
5 Apr 24 '14
5 Apr 12 '14
5 Apr 4 '14
5 Mar 28 '14
0 Feb 22 '14
5 Feb 19 '14
5 Jan 12 '14
5 Dec 30 '13
15 Dec 9 '13
15 Nov 13 '13
5 Nov 11 '13
5 Oct 25 '13
2 Sep 15 '13
5 Jul 11 '13
5 Jun 8 '13
10 May 28 '13
10 May 21 '13
5 Apr 30 '13