18,085 reputation
1071131
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
seen 20 hours ago

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
16
awarded  Popular Question
Apr
11
awarded  Nice Answer
Apr
4
awarded  Popular Question
Mar
23
awarded  Popular Question
Mar
20
awarded  Popular Question
Mar
8
awarded  Nice Answer
Mar
6
awarded  Nice Answer
Feb
23
awarded  Nice Answer
Dec
29
awarded  Nice Answer
Dec
21
awarded  Pundit
Dec
21
awarded  Nice Answer
Dec
12
awarded  Popular Question
Dec
1
awarded  Generalist
Nov
29
awarded  Nice Answer
Nov
26
awarded  Good Answer
Nov
14
awarded  Popular Question
Nov
10
awarded  Enlightened
Nov
10
awarded  Nice Answer
Oct
31
awarded  Good Question
Oct
25
awarded  Nice Question