19,023 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 11 at 9:41

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.


19,023 Reputation

20 Sep 11
40 Sep 10
5 Sep 9
10 Sep 7
25 Sep 6
10 Sep 5
10 Sep 4
15 Sep 3
5 Sep 2
10 Sep 1
10 Aug 31
20 Aug 27
10 Aug 26
10 Aug 22
10 Aug 21
10 Aug 19
5 Aug 18
10 Aug 15
15 Aug 14
5 Aug 12
10 Aug 11
10 Aug 9
25 Aug 8
10 Aug 7
20 Aug 5
15 Aug 4
15 Aug 3
10 Aug 1
5 Jul 30
30 Jul 28