Area 51 » Juan A. Navarro

info activity reputation

1,459

reputation

48 views

discussion user

network profile

Registered User

name	Juan A. Navarro
member for	14 years
seen	Apr 29 '14 at 7:21
website	navarroj.com/latex
location	London, United Kingdom

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.

stats accounts

Proposals

Current Commitments

Fulfilled Commitment

TeX, LaTeX and friends

For expert users of TeX, LaTeX and other related typesetting systems.

define

commit

beta

Followed

Example Questions

votes newest recent

Apple: How can I move my iTunes Library (with ratings, play counts, etc.) to a new computer?

TeX, LaTeX and friends: How can I write a document using double-spacing?

TeX, LaTeX and friends: How can I define a command that does two completely different things whether an optional argument is supplied or not?

Apple: How can I merge two iPhoto libraries?

Apple: How can I view and edit my iPhone Notes on my computer?

Statistical Analysis: How can I generate a random (uniformly distributed) connected graph?

Apple: How can I take screenshots in Mac OS X?

Web Applications: Is there a site where I can host individual publicly editable pages?

Apple: How can I lock my screen/session in Mac OS X?

Pro Webmasters: How can I get top sites to link to my webpage?

101

Votes Cast

55 up

46 down

Badges

● Nice Question × 11
● Founder
● Upholder
● Grassroots

● Lobbyist
● Filibuster
● Caucus
● Commentator

● Editor
● Radical
● Centrist
● Mortarboard

● Autobiographer
● Advocate
● Pioneer

user feed