18,290 reputation
1073135
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 2 months
seen Sep 17 at 7:18

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.


18,290 Reputation

10 2 days ago
25 Sep 17
10 Sep 16
10 Sep 15
10 Sep 12
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