19,754 reputation
1381143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 months
seen 13 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.


19,754 Reputation

20 Jun 28 '14
10 Jun 27 '14
5 Jun 26 '14
15 Jun 25 '14
20 Jun 24 '14
10 Jun 23 '14
15 Jun 22 '14
10 Jun 19 '14
5 Jun 17 '14
5 Jun 15 '14
10 Jun 14 '14
25 Jun 12 '14
15 Jun 11 '14
10 Jun 10 '14
10 Jun 9 '14
10 Jun 8 '14
20 Jun 7 '14
10 Jun 5 '14
30 Jun 4 '14
5 Jun 2 '14
15 Jun 1 '14
10 May 31 '14
10 May 29 '14
45 May 28 '14
15 May 27 '14
10 May 25 '14
5 May 22 '14
10 May 20 '14
30 May 19 '14
20 May 17 '14