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.
226 What to do to switch to biblatex? nov 8 '10
186 Force figure placement in text jan 10 '11
155 What is the difference between Fragile and Robust commands? oct 31 '10
150 What packages do people load by default in LaTeX? jul 29 '10
144 How can I use BibTeX to cite a web page? sep 30 '10
84 Why should I use LaTeX? aug 15 '10
63 What is the difference between TeX and LaTeX? jul 27 '10
53 Documentation reference for LaTeX internal commands? nov 1 '10