17,855 reputation
1070128
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen 8 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.


Dec
9
awarded  Guru
Dec
5
awarded  Popular Question
Dec
3
awarded  Good Answer
Nov
27
awarded  Popular Question
Nov
24
awarded  Nice Question
Nov
4
awarded  Good Answer
Oct
31
awarded  Popular Question
Oct
29
awarded  Notable Question
Oct
29
awarded  Enlightened
Oct
29
awarded  Nice Answer
Oct
20
awarded  Nice Answer
Oct
20
awarded  Famous Question
Oct
17
awarded  Nice Question
Sep
29
awarded  Great Question
Sep
28
awarded  Good Answer
Sep
21
awarded  Custodian
Sep
7
awarded  Nice Answer
Sep
6
awarded  Investor
Aug
29
awarded  Notable Question
Aug
17
awarded  Nice Question