19,023 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen 12 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.


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
Jun
19
awarded  Nice Question
Jun
17
awarded  Altruist
May
25
awarded  Nice Answer
May
22
awarded  Nice Answer
Apr
23
awarded  Nice Question
Apr
19
awarded  Necromancer
Apr
11
awarded  Popular Question
Apr
3
awarded  Good Question
Apr
2
awarded  Good Question