meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 10 months |
| seen | 17 hours ago | |
| stats | profile views | 956 |
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.
| 30 | yesterday | ||||||||
| |||||||||
| 5 | 2 days ago | ||||||||
| |||||||||
| 20 | May 20 | ||||||||
| |||||||||
| 10 | May 19 | ||||||||
| 20 | May 17 | ||||||||
| 25 | May 13 | ||||||||
| 10 | May 10 | ||||||||
| 10 | May 9 | ||||||||
| 10 | May 8 | ||||||||
| 25 | May 7 | ||||||||
| 20 | May 6 | ||||||||
| 5 | May 5 | ||||||||
| 20 | May 4 | ||||||||
| 10 | May 2 | ||||||||
| 10 | May 1 | ||||||||
| 25 | Apr 30 | ||||||||
| 40 | Apr 29 | ||||||||
| 5 | Apr 28 | ||||||||
| 20 | Apr 26 | ||||||||
| -2 | Apr 25 | ||||||||
| 20 | Apr 24 | ||||||||
| 15 | Apr 23 | ||||||||
| 20 | Apr 21 | ||||||||
| 25 | Apr 20 | ||||||||
| 20 | Apr 19 | ||||||||
| 65 | Apr 18 | ||||||||
| 38 | Apr 16 | ||||||||
| 35 | Apr 15 | ||||||||
| 10 | Apr 14 | ||||||||
| 5 | Apr 13 | ||||||||
