643 reputation
41330
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
seen Sep 11 at 19:42

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
reviewed Excellent Does the iPhone 4 geo-tag photos without a data connection?
Feb
7
reviewed Satisfactory Can I share photos to Facebook without downloading my contacts?
Feb
7
reviewed Satisfactory MacBook Air wifi NIC: supported channels
Feb
7
reviewed Satisfactory How to create a terminal use only account in MacOSX?
Feb
7
reviewed Needs Improvement What can I do with an iPad Bluetooth-paired to a Mac?
Feb
7
reviewed Needs Improvement Restore iPhone 3GS without backup
Feb
7
reviewed Satisfactory Possible to integrate Keynote in custom UI?
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