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