19,374 reputation
1380143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 6 months
seen Jan 26 at 19:24

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,374 Reputation

25 Oct 22 '14
5 Oct 21 '14
10 Oct 20 '14
5 Oct 17 '14
10 Oct 14 '14
15 Oct 13 '14
5 Oct 12 '14
20 Oct 11 '14
10 Oct 10 '14
10 Oct 7 '14
10 Oct 6 '14
10 Oct 3 '14
30 Sep 30 '14
10 Sep 29 '14
5 Sep 28 '14
20 Sep 27 '14
15 Sep 25 '14
10 Sep 22 '14
25 Sep 17 '14
10 Sep 16 '14
10 Sep 15 '14
10 Sep 12 '14
20 Sep 11 '14
40 Sep 10 '14
5 Sep 9 '14
10 Sep 7 '14
25 Sep 6 '14
10 Sep 5 '14
10 Sep 4 '14
15 Sep 3 '14