Juan A. Navarro
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.
Top Network Posts
- 233What to do to switch to biblatex?
- 199Force figure placement in text
- 160What is the difference between Fragile and Robust commands?
- 157How can I use BibTeX to cite a web page?
- 151What packages do people load by default in LaTeX?
- 136Remove ugly borders around clickable cross-references and hyperlinks
- 86Why should I use LaTeX?
- View more network posts →
Top Tags (33)
42 Automatic links to the CTAN catalogue? jul 27 '10
39 When is (and isn't) it acceptable to edit? aug 12 '10
26 Quality Standards for Answers jul 31 '10
24 When is (and isn't) it acceptable to edit? aug 31 '10
23 Quality Standards for Answers aug 4 '10
18 Our set of tags aug 9 '10
17 Are questions about related applications ok? jul 28 '10
15 How newbie-friendly should the site be? jul 29 '10
11 When is (and isn't) it acceptable to edit? aug 31 '10