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
- 229What to do to switch to biblatex?
- 192Force figure placement in text
- 158What is the difference between Fragile and Robust commands?
- 151What packages do people load by default in LaTeX?
- 151How can I use BibTeX to cite a web page?
- 134Remove ugly borders around clickable cross-references and hyperlinks
- 85Why should I use LaTeX?
- View more network posts →
Top Tags (33)
41 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