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.
223 What to do to switch to biblatex? nov 8 '10
178 Force figure placement in text jan 10 '11
152 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
136 How can I use BibTeX to cite a web page? sep 30 '10
84 Why should I use LaTeX? aug 15 '10
59 What is the difference between TeX and LaTeX? jul 27 '10
53 Documentation reference for LaTeX internal commands? nov 1 '10