583 reputation
21229
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 8 months
seen Apr 8 at 8:21

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.


Feb
7
awarded  Custodian
Feb
7
reviewed Satisfactory How can I change the font used in Preview PDF notes?
Feb
7
comment How to export a date range in Calendar
Thanks, it's not ideal, but it works. You might want to post that as an answer. I'll be glad to accept it if nothing better comes up in the following couple of days.
Feb
7
comment How to export a date range in Calendar
Sure, but how can I select and copy, say, one year worth of events?
Feb
7
accepted How can I move an iTunes library from one computer to another?
Feb
7
asked How to export a date range in Calendar
Jan
23
awarded  Notable Question
Jan
3
accepted Constantly ejecting OS X install disc when trying to boot
Dec
31
awarded  Popular Question
Dec
4
accepted Start/stop internet sharing from a script?
Oct
22
awarded  Popular Question
Sep
9
awarded  Notable Question
Aug
17
awarded  Yearling
Aug
14
awarded  Notable Question
Aug
2
accepted How to sync Notes over iCloud?
Aug
1
awarded  Popular Question
Jun
8
awarded  Popular Question
May
1
awarded  Self-Learner
May
1
revised How can I print a booklet from a pdf file?
added 55 characters in body
Apr
2
answered How to sync Notes over iCloud?