meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 11 months |
| seen | 21 hours ago | |
| stats | profile views | 994 |
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.
| 15 | yesterday | ||||||||||||
| |||||||||||||
| 25 | Jun 17 | ||||||||||||
| |||||||||||||
| 10 | Jun 16 | ||||||||||||
| |||||||||||||
| 10 | Jun 14 | ||||||||||||
| 20 | Jun 13 | ||||||||||||
| 5 | Jun 12 | ||||||||||||
| -90 | Jun 10 | ||||||||||||
| 10 | Jun 9 | ||||||||||||
| 25 | Jun 8 | ||||||||||||
| 5 | Jun 5 | ||||||||||||
| 5 | Jun 4 | ||||||||||||
| 15 | Jun 3 | ||||||||||||
| 15 | Jun 2 | ||||||||||||
| 10 | May 30 | ||||||||||||
| 15 | May 29 | ||||||||||||
| 10 | May 28 | ||||||||||||
| 5 | May 27 | ||||||||||||
| 5 | May 26 | ||||||||||||
| 10 | May 25 | ||||||||||||
| 5 | May 24 | ||||||||||||
| 30 | May 22 | ||||||||||||
| 5 | May 21 | ||||||||||||
| 20 | May 20 | ||||||||||||
| 10 | May 19 | ||||||||||||
| 20 | May 17 | ||||||||||||
| 25 | May 13 | ||||||||||||
| 10 | May 10 | ||||||||||||
| 10 | May 9 | ||||||||||||
| 10 | May 8 | ||||||||||||
| 25 | May 7 | ||||||||||||
