meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | May 15 at 21:05 | |
| stats | profile views | 952 |
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 | Sep 13 '11 |
| 10 | Sep 11 '11 |
| 20 | Sep 10 '11 |
| 5 | Sep 9 '11 |
| 35 | Sep 8 '11 |
| 25 | Sep 7 '11 |
| 20 | Sep 4 '11 |
| 10 | Sep 2 '11 |
| 5 | Sep 1 '11 |
| 20 | Aug 30 '11 |
| 10 | Aug 29 '11 |
| 15 | Aug 27 '11 |
| 10 | Aug 26 '11 |
| 10 | Aug 24 '11 |
| 15 | Aug 20 '11 |
| 5 | Aug 19 '11 |
| 15 | Aug 18 '11 |
| 67 | Aug 17 '11 |
| 5 | Aug 16 '11 |
| 5 | Aug 15 '11 |
| 10 | Aug 14 '11 |
| 5 | Aug 12 '11 |
| 5 | Aug 11 '11 |
| 5 | Aug 9 '11 |
| 10 | Aug 7 '11 |
| 20 | Aug 6 '11 |
| 5 | Aug 5 '11 |
| 5 | Jul 30 '11 |
| 5 | Jul 29 '11 |
| 5 | Jul 26 '11 |
