19,353 reputation
1380143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 6 months
seen 2 days 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.


11h
awarded  Popular Question
15h
awarded  Notable Question
Jan
26
awarded  Great Answer
Jan
13
awarded  Famous Question
Jan
9
awarded  Favorite Question
Jan
1
awarded  Popular Question
Dec
29
awarded  Nice Answer
Dec
22
awarded  Enlightened
Dec
22
awarded  Nice Answer
Dec
8
awarded  Nice Answer
Nov
18
awarded  Popular Question
Nov
6
awarded  Great Answer
Nov
5
awarded  Good Question
Nov
5
awarded  Notable Question
Oct
27
awarded  Good Question
Oct
23
awarded  Notable Question
Oct
13
awarded  Nice Question
Sep
30
awarded  Explainer
Sep
22
awarded  Announcer
Sep
19
awarded  Notable Question