19,013 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 11 at 9:41

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.


Jul
30
awarded  Custodian
Jul
28
awarded  Nice Answer
Jul
27
awarded  Yearling
Jul
2
awarded  Inquisitive
Jul
2
awarded  Curious
Jun
28
awarded  Good Answer
Jun
25
awarded  Good Answer
Jun
6
awarded  Famous Question
May
19
awarded  Notable Question
May
15
awarded  Notable Question
May
7
awarded  Popular Question
Mar
27
awarded  Notable Question
Mar
25
awarded  Great Answer
Mar
17
awarded  Good Question
Feb
18
awarded  Good Answer
Feb
16
awarded  Enlightened
Feb
16
awarded  Nice Answer
Feb
13
awarded  Good Question
Feb
11
awarded  Famous Question
Feb
9
awarded  Good Question