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.
220 What to do to switch to biblatex? nov 8 '10
168 Force figure placement in text jan 10 '11
150 What packages do people load by default in LaTeX? jul 29 '10
148 What is the difference between Fragile and Robust commands? oct 31 '10
130 How can I use BibTeX to cite a web page? sep 30 '10
83 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