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.
229 What to do to switch to biblatex? nov 8 '10
192 Force figure placement in text jan 10 '11
158 What is the difference between Fragile and Robust commands? oct 31 '10
151 How can I use BibTeX to cite a web page? sep 30 '10
151 What packages do people load by default in LaTeX? jul 29 '10
85 Why should I use LaTeX? aug 15 '10
65 What is the difference between TeX and LaTeX? jul 27 '10
55 How can I typeset the date/time at compile time? aug 4 '10