Juan A. Navarro

less info
meta site favicon meta user | stack exchange network profile network profile
491 reputation
1725
bio website navarroj.com/latex
location London, United Kingdom
age 32
visits member for 2 years, 9 months
seen yesterday
stats profile views 43

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.


115 Actions

suggestions reviews revisions comments badges posts accepts all
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
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
1 2 3 4 5 6