meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | May 22 at 6:40 | |
| stats | profile views | 45 |
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.
|
May 1 |
revised |
How can I print a booklet from a pdf file? added 55 characters in body |
|
Apr 2 |
revised |
How to sync Notes over iCloud? added 228 characters in body; edited tags |
|
Jun 13 |
revised |
Subtitle editor for OSX? edited tags |
