156 reputation
6
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 1 year, 7 months
seen Jul 15 at 17:58

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.


Jan
14
awarded  Self-Learner
May
13
awarded  Teacher
May
13
awarded  Scholar
May
13
accepted How to travel from/to Washington Dulles and Annapolis?
May
13
answered How to travel from/to Washington Dulles and Annapolis?
May
3
comment How to travel from/to Washington Dulles and Annapolis?
Yes I know, but I'm travelling from UK, so arriving to IAD was the most convenient/cheap at the moment.
May
3
awarded  Student
May
3
awarded  Supporter
May
3
asked How to travel from/to Washington Dulles and Annapolis?
May
3
comment How to convince airport security that I am not dangerous when having metallic parts in my body?
I do exactly what is suggested on the second edit. I carry around on my wallet a small (credit card sized) print of my x-rays, with a very brief (one sentence) description of the implant (e.g. the number and kind of screws) written on the back. As I travel frequently I even have this written in a few different languages. I also think it is useful to always have a card like this with you anyway, in case you find yourself unconscious in some unexpected accident, it will be useful to doctors caring for you to know this information in advance!
May
3
awarded  Autobiographer