19,068 reputation
1178140
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 5 months
seen Dec 21 at 10:12

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

10 2 days ago
10 Dec 26
25 Dec 22
10 Dec 20
10 Dec 17
5 Dec 15
10 Dec 14
10 Dec 10
5 Dec 9
20 Dec 8
15 Dec 7
10 Dec 6
10 Dec 5
15 Dec 4
35 Dec 2
15 Nov 30
-2 Nov 26
10 Nov 23
10 Nov 21
10 Nov 20
10 Nov 19
10 Nov 18
15 Nov 15
40 Nov 14
25 Nov 13
30 Nov 11
20 Nov 10
5 Nov 9
10 Nov 8
10 Nov 7