18,515 reputation
1074137
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 3 months
seen Sep 17 at 7:18

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.


Mar
7
awarded  Nice Question
Feb
27
awarded  Popular Question
Feb
11
awarded  Notable Question
Feb
7
awarded  Custodian
Feb
1
awarded  Custodian
Jan
25
awarded  Notable Question
Jan
17
awarded  Popular Question
Jan
13
awarded  Nice Question
Dec
19
awarded  Nice Question
Dec
17
awarded  Popular Question
Dec
14
awarded  Notable Question
Dec
10
awarded  Notable Question
Dec
9
awarded  Necromancer
Dec
9
awarded  Guru
Dec
5
awarded  Popular Question
Dec
3
awarded  Good Answer
Nov
27
awarded  Popular Question
Nov
24
awarded  Nice Question
Nov
4
awarded  Good Answer
Oct
31
awarded  Popular Question