16,945 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 8 months
seen Apr 16 at 9:35

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.


Nov
10
awarded  Enlightened
Nov
10
awarded  Nice Answer
Oct
31
awarded  Good Question
Oct
25
awarded  Nice Question
Oct
17
awarded  Favorite Question
Sep
28
awarded  Nice Question
Sep
18
awarded  Notable Question
Sep
17
awarded  Nice Answer
Sep
6
awarded  Popular Question
Sep
5
awarded  Popular Question
Aug
19
awarded  Constable
Aug
17
awarded  Nice Question
Aug
15
awarded  Excavator
Aug
7
awarded  Nice Question
Aug
6
awarded  Nice Answer
Jul
28
awarded  Yearling
Jul
8
awarded  Synonymizer
Jun
1
awarded  Good Question
May
31
awarded  Benefactor
May
30
awarded  Promoter