648 reputation
41430
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 3 months
seen Oct 22 at 21:06

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.


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?
Apr
2
awarded  Editor
Apr
2
revised How to sync Notes over iCloud?
added 228 characters in body; edited tags
Apr
2
asked How to sync Notes over iCloud?
Feb
7
comment Can I get Mission Control to show minimized windows?
This is not working for me, when switching to Misson Control (no matter how), the TAB key seems to be inoperative. Maybe some setting that I've changed?
Jan
18
answered Open Self Extracting .exe
Jan
18
comment Open Self Extracting .exe
@bmike, you should probably turn your comment into an answer. I've tried that and it did work for me.
Jan
16
comment Open password protected MS-Word document
Thanks Jason. I only have to add that, at least for the document I needed to open, OpenOffice did work without any problems.
Jan
16
accepted Open password protected MS-Word document
Jan
16
comment Open password protected MS-Word document
@JasonSalaz, if you make your comment an answer, I'll mark it as accepted.
Jan
12
awarded  Popular Question
Jan
5
comment Open password protected MS-Word document
Unfortunately I can't ask someone to do this, I only have this old word document with no current maintainer. (And I don't want to always rely on an external person to open/convert documents for me.)
Jan
5
asked Open password protected MS-Word document