meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | May 22 at 6:40 | |
| stats | profile views | 44 |
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.
| 10 | May 21 | ||||||||
| |||||||||
| 5 | Apr 30 | ||||||||
| |||||||||
| 0 | Mar 18 | ||||||||
| |||||||||
| 5 | Mar 17 | ||||||||
| 2 | Feb 13 | ||||||||
| 5 | Feb 8 | ||||||||
| 7 | Feb 7 | ||||||||
| 15 | Feb 4 | ||||||||
| 5 | Jan 14 | ||||||||
| 5 | Jan 7 | ||||||||
| 0 | Dec 4 '12 | ||||||||
| 5 | Nov 7 '12 | ||||||||
| 5 | Sep 3 '12 | ||||||||
| 5 | Jul 23 '12 | ||||||||
| 5 | Jul 6 '12 | ||||||||
| 10 | Jun 15 '12 | ||||||||
| 5 | May 12 '12 | ||||||||
| 30 | May 1 '12 | ||||||||
| 5 | Apr 2 '12 | ||||||||
| 5 | Mar 15 '12 | ||||||||
| 2 | Jan 16 '12 | ||||||||
| 5 | Dec 14 '11 | ||||||||
| 5 | Nov 24 '11 | ||||||||
| 20 | Nov 23 '11 | ||||||||
| 5 | Nov 16 '11 | ||||||||
| 5 | Nov 9 '11 | ||||||||
| 15 | Oct 19 '11 | ||||||||
| 5 | Oct 18 '11 | ||||||||
| 5 | Sep 21 '11 | ||||||||
| 5 | Sep 20 '11 | ||||||||
