648 reputation
41330
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 2 months
seen Oct 22 at 21:06

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.


Jul
30
revised How can I print a booklet from a pdf file?
fixed url
Dec
9
revised How can I print a booklet from a pdf file?
fixed broken link
Sep
15
revised Are there any “App Store quality” apps for creating animated GIFs from a series of image files?
-loop 0 causes the image to loop forever, not once
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