395 reputation
1413
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 2 years, 11 months
seen Apr 16 at 9:27

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
14
awarded  Famous Question
Jan
26
awarded  Popular Question
Nov
15
awarded  Yearling
Nov
14
awarded  Autobiographer
Sep
28
awarded  Notable Question
Jun
22
awarded  Nice Question
Jun
19
awarded  Popular Question
Mar
12
awarded  Beta
Dec
12
awarded  Nice Question
Nov
28
awarded  Taxonomist
Nov
23
awarded  Nice Question
Nov
22
awarded  Critic
Nov
16
awarded  Quorum
Nov
16
awarded  Commentator
Nov
16
awarded  Scholar
Nov
15
awarded  Editor
Nov
15
awarded  Supporter
Nov
15
awarded  Student