18,025 reputation
1071129
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen yesterday

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

20 May 17
5 May 16
20 May 15
5 May 14
10 May 13
25 May 12
10 May 10
35 May 9
10 May 8
10 May 7
15 May 6
15 May 4
15 May 3
5 Apr 29
30 Apr 27
5 Apr 26
15 Apr 23
15 Apr 22
25 Apr 21
10 Apr 18
5 Apr 17
5 Apr 16
5 Apr 15
20 Apr 14
25 Apr 11
10 Apr 10
15 Apr 8
10 Apr 7
30 Apr 4
20 Apr 3