meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 10 months |
| seen | 6 hours ago | |
| stats | profile views | 953 |
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.
| 40 | Nov 18 '10 |
| 10 | Nov 17 '10 |
| 110 | Nov 16 '10 |
| 10 | Nov 15 '10 |
| 20 | Nov 14 '10 |
| 30 | Nov 13 '10 |
| 30 | Nov 12 '10 |
| 37 | Nov 11 '10 |
| 25 | Nov 10 '10 |
| 42 | Nov 9 '10 |
| 132 | Nov 8 '10 |
| 20 | Nov 7 '10 |
| 10 | Nov 6 '10 |
| 60 | Nov 5 '10 |
| 100 | Nov 4 '10 |
| 10 | Nov 3 '10 |
| 10 | Nov 2 '10 |
| 44 | Nov 1 '10 |
| 70 | Oct 31 '10 |
| 40 | Oct 29 '10 |
| 80 | Oct 26 '10 |
| 52 | Oct 25 '10 |
| 45 | Oct 24 '10 |
| 20 | Oct 23 '10 |
| 30 | Oct 22 '10 |
| 117 | Oct 21 '10 |
| 65 | Oct 20 '10 |
| 77 | Oct 19 '10 |
| 50 | Oct 18 '10 |
| 25 | Oct 17 '10 |
