meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 10 months |
| seen | Apr 10 at 19:37 | |
| stats | profile views | 23 |
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 | Mar 16 | ||||
| |||||
| 10 | Sep 7 '12 | ||||
| |||||
| 7 | Feb 23 '12 | ||||
| 7 | May 30 '11 | ||||
| 25 | May 10 '11 | ||||
| 25 | Jan 15 '11 | ||||
| 100 | Nov 16 '10 | ||||
| 5 | Sep 27 '10 | ||||
| 5 | Sep 23 '10 | ||||
| 15 | Sep 22 '10 | ||||
