18,515 reputation
1074137
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 3 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,515 Reputation

10 May 29
45 May 28
15 May 27
10 May 25
5 May 22
10 May 20
30 May 19
20 May 17
5 May 16
20 May 15
5 May 14
10 May 13
25 May 12
10 May 10
35 May 9
10 May 8
10 May 7
15 May 6
15 May 4
15 May 3
5 Apr 29
30 Apr 27
5 Apr 26
15 Apr 23
15 Apr 22
25 Apr 21
10 Apr 18
5 Apr 17
5 Apr 16
5 Apr 15