18,853 reputation
1177138
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen 2 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.


18,853 Reputation

-2 yesterday
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
15 Nov 6
5 Nov 5
20 Nov 4
10 Nov 1
10 Oct 31
15 Oct 30
15 Oct 29
5 Oct 27
20 Oct 26
20 Oct 25
10 Oct 23
25 Oct 22
5 Oct 21
10 Oct 20
5 Oct 17
10 Oct 14