19,379 reputation
1380143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 6 months
seen Jan 26 at 19:24

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

5 today
20 2 days ago
35 Jan 28
5 Jan 27
30 Jan 26
10 Jan 25
10 Jan 24
10 Jan 22
20 Jan 20
20 Jan 19
30 Jan 16
20 Jan 14
20 Jan 13
10 Jan 9
5 Jan 8
10 Jan 6
5 Jan 5
20 Jan 2
5 Dec 31 '14
20 Dec 29 '14
10 Dec 27 '14
10 Dec 26 '14
25 Dec 22 '14
10 Dec 20 '14
10 Dec 17 '14
5 Dec 15 '14
10 Dec 14 '14
10 Dec 10 '14
5 Dec 9 '14
20 Dec 8 '14