17,795 reputation
1069125
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
seen 6 hours ago

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.


17,795 Reputation

10 Jun 5
30 Jun 4
5 Jun 2
15 Jun 1
10 May 31
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