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

10 Dec 12 '12
30 Dec 11 '12
20 Dec 9 '12
10 Dec 8 '12
30 Dec 7 '12
10 Dec 4 '12
20 Dec 3 '12
10 Dec 1 '12
5 Nov 29 '12
10 Nov 28 '12
35 Nov 27 '12
30 Nov 25 '12
40 Nov 24 '12
15 Nov 23 '12
47 Nov 22 '12
50 Nov 21 '12
10 Nov 19 '12
5 Nov 16 '12
5 Nov 15 '12
10 Nov 14 '12
5 Nov 10 '12
5 Nov 9 '12
30 Nov 8 '12
45 Nov 7 '12
0 Nov 6 '12
10 Nov 5 '12
25 Nov 4 '12
5 Nov 3 '12
12 Nov 2 '12
15 Nov 1 '12