17,000 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 9 months
seen 5 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.


Mar
27
awarded  Notable Question
Mar
25
awarded  Great Answer
Mar
17
awarded  Good Question
Feb
18
awarded  Good Answer
Feb
16
awarded  Enlightened
Feb
16
awarded  Nice Answer
Feb
13
awarded  Good Question
Feb
11
awarded  Famous Question
Feb
9
awarded  Good Question
Feb
8
awarded  Popular Question
Feb
7
awarded  Nice Question
Jan
24
awarded  Nice Question
Dec
18
awarded  Popular Question
Dec
9
awarded  Good Question
Dec
4
awarded  Popular Question
Dec
4
awarded  Notable Question
Dec
1
awarded  Nice Question
Nov
20
awarded  Notable Question
Nov
16
awarded  Enlightened
Nov
16
awarded  Nice Answer