583 reputation
21229
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 8 months
seen Apr 8 at 8:21

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
4
awarded  Notable Question
Mar
26
awarded  Notable Question
Jan
20
awarded  Popular Question
Nov
21
awarded  Notable Question
Nov
4
awarded  Popular Question
Oct
14
awarded  Popular Question
Oct
13
awarded  Notable Question
Sep
19
awarded  Notable Question
Sep
15
awarded  Excavator
Aug
11
awarded  Famous Question
May
7
awarded  Popular Question
Apr
30
awarded  Nice Question
Apr
8
awarded  Famous Question
Mar
27
awarded  Notable Question
Mar
16
awarded  Popular Question
Feb
19
awarded  Popular Question
Feb
8
awarded  Nice Question
Feb
7
awarded  Custodian
Jan
23
awarded  Notable Question
Dec
31
awarded  Popular Question