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