16,935 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 8 months
seen yesterday

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
4
awarded  Popular Question
Nov
2
awarded  Great Question
Oct
27
awarded  Stellar Question
Oct
9
awarded  Popular Question
Oct
1
awarded  Enlightened
Oct
1
awarded  Nice Answer
Sep
27
awarded  Popular Question
Sep
17
awarded  Popular Question
Sep
9
awarded  Enlightened
Sep
9
awarded  Nice Answer
Aug
31
awarded  Popular Question
Aug
15
awarded  Popular Question
Aug
2
awarded  Notable Question
Jul
30
awarded  Nice Answer
Jul
27
awarded  Yearling
Jul
24
awarded  Popular Question
Jul
15
awarded  Necromancer
Jul
10
awarded  Favorite Question
Jun
27
awarded  Necromancer
Jun
25
awarded  Good Answer