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
- 218What to do to switch to biblatex?
- 163Force figure placement in text
- 149What packages do people load by default in LaTeX?
- 144What is the difference between Fragile and Robust commands?
- 127How can I use BibTeX to cite a web page?
- 113Remove ugly borders around clickable cross-references and hyperlinks
- 83Why should I use LaTeX?
- View more network posts →
Top Tags (33)
40 Automatic links to the CTAN catalogue? jul 27 '10
38 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
16 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