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.
Top network posts
- 218What to do to switch to biblatex?
- 163Force figure placement in text
- 149What packages do people load by default in LaTeX?
- 144What is the difference between Fragile and Robust commands?
- 127How can I use BibTeX to cite a web page?
- 113Remove ugly borders around clickable cross-references and hyperlinks
- 83Why should I use LaTeX?
- View more network posts →
Top Tags (1)
4 Mixed English/Spanish questions? nov 22 '11