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.


May
21
comment Alternative to iWeb?
@ShaneHsu Well, it works if you have a copy of it. Which I don't :) And now there seems to be no way of purchasing it, other than getting a two year old version of iLife.
May
21
asked Alternative to iWeb?
May
7
awarded  Popular Question
Apr
30
awarded  Nice Question
Apr
8
awarded  Famous Question
Mar
27
awarded  Notable Question
Mar
18
accepted What are some alternatives to Quicksilver?
Mar
16
awarded  Popular Question
Feb
19
awarded  Popular Question
Feb
13
accepted How to export a date range in Calendar
Feb
8
awarded  Nice Question
Feb
7
reviewed Satisfactory How to manage a huge folder collection in two places
Feb
7
reviewed Needs Improvement Bidirectional sync between Outlook and iPhone?
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?