653 reputation
41430
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 14 at 10:12

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.


Sep
19
awarded  Notable Question
Sep
15
awarded  Excavator
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
Sep
15
suggested approved edit on Are there any “App Store quality” apps for creating animated GIFs from a series of image files?
Aug
11
awarded  Famous Question
May
29
comment What are some alternatives to Quicksilver?
Thanks for the update! Since I posted this question a couple of years ago I've gotten very used to and extremely pleased with Alfred. Anyway, I'll give the new QS a try for a couple of days and see if it can win me back :)
May
21
comment Alternative to iWeb?
@patrix it's for personal use, for myself, to build a basic (only a few pages, mostly static) website without having to fiddle with HTML/CSS or other stuff. What I would like to have are some nice looking existing designs/templates on which to start building and customising my site.
May
21
comment Alternative to iWeb?
It would be nice to note that all of these are paid products.
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