17,850 reputation
1070126
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen Jul 25 at 10:34

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.


1d
awarded  Nice Answer
2d
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
Feb
8
awarded  Popular Question