18,015 reputation
1071129
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen 11 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 2 days ago
5 Aug 18
10 Aug 15
15 Aug 14
5 Aug 12
10 Aug 11
10 Aug 9
25 Aug 8
10 Aug 7
20 Aug 5
15 Aug 4
15 Aug 3
10 Aug 1
5 Jul 30
30 Jul 28
10 Jul 24
15 Jul 23
10 Jul 21
10 Jul 19
5 Jul 14
20 Jul 13
5 Jul 12
10 Jul 9
10 Jul 8
20 Jul 7
10 Jul 5
10 Jul 4
10 Jul 2
20 Jun 30
10 Jun 29