18,075 reputation
1071130
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
seen Aug 27 at 7:52

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.


Apr
19
awarded  Necromancer
Apr
11
awarded  Popular Question
Apr
3
awarded  Good Question
Apr
2
awarded  Good Question
Mar
30
awarded  Popular Question
Mar
28
awarded  Great Answer
Mar
26
awarded  Nice Question
Mar
21
awarded  Guru
Mar
18
awarded  Guru
Mar
16
awarded  Nice Question
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