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

10 Feb 22
5 Feb 21
15 Feb 19
10 Feb 18
25 Feb 17
10 Feb 16
30 Feb 14
25 Feb 13
5 Feb 11
10 Feb 10
30 Feb 8
148 Feb 7
25 Feb 6
-190 Feb 5
10 Feb 4
5 Feb 3
25 Feb 2
15 Jan 31
10 Jan 30
10 Jan 29
10 Jan 28
10 Jan 27
10 Jan 26
20 Jan 25
50 Jan 24
25 Jan 23
25 Jan 21
10 Jan 20
5 Jan 17
10 Jan 15