18,015 reputation
1071129
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen 1 hour 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,015 Reputation

10 Mar 1 '12
20 Feb 29 '12
15 Feb 28 '12
15 Feb 27 '12
10 Feb 25 '12
5 Feb 24 '12
15 Feb 23 '12
5 Feb 22 '12
75 Feb 21 '12
10 Feb 20 '12
10 Feb 19 '12
20 Feb 18 '12
5 Feb 17 '12
10 Feb 16 '12
35 Feb 15 '12
15 Feb 11 '12
20 Feb 8 '12
25 Feb 7 '12
20 Feb 5 '12
15 Feb 3 '12
15 Feb 2 '12
5 Jan 30 '12
10 Jan 29 '12
30 Jan 26 '12
5 Jan 20 '12
20 Jan 14 '12
10 Jan 12 '12
10 Jan 11 '12
30 Jan 10 '12
-2 Jan 9 '12