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
- 226What to do to switch to biblatex?
- 184Force figure placement in text
- 154What is the difference between Fragile and Robust commands?
- 151What packages do people load by default in LaTeX?
- 143How can I use BibTeX to cite a web page?
- 127Remove ugly borders around clickable cross-references and hyperlinks
- 84Why 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