Juan A. Navarro

less info
meta site favicon meta user | stack exchange network profile network profile
13,975 reputation
446101
bio website navarroj.com/latex
location London, United Kingdom
age 32
visits member for 2 years, 9 months
seen May 15 at 21:05
stats profile views 952

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.


114 Answers

newest activity votes
9
How to upgrade TeXLive 2009 to TeXLive 2010
9
Bold math: Automatic choice between \mathbf and \boldsymbol for Latin and Greek symbols?
9
Customized bonus questions in exam class
9
Loading a package conditionally
9
How to instert full citation, instead of citation key? List of Author's publication?
9
help me write verbatim
8
LaTeX equivalent of <br><br><br> in HTML?
8
LaTeX Error: File `marvosym.sty' not found.
8
How to keep up with packages and know which ones are obsolete?
8
fine tuning of a wrapfigure
8
How to use the color package with dvips option together with the graphicx package?
8
help with creating a page of equations using (LaTeX?)
8
How to write a footnnote attached to the author in a LaTeX paper?
8
Guide to managing multiple resume with one LaTeX?
8
Meaningful error messages when using latex instead of pdflatex
8
How can I import an exam or assignment from Word into LaTeX?
7
How do I indent ALL lines of a paragraph so that it looks like a blockquote?
7
How to make a list of unbreakable items?
7
How to find a package name by a command name?
7
Is there an automatic process to create index creation?
6
The '.is if' handler of pgfkeys
6
Using BibTeX with LyX: errors in auto-generated .bbl
6
Different command definitions with and without optional argument
6
Programming simple functions using TikZ arithmetic?
6
Large braces to specify condition in a set
6
Underscore makes text go past end of line into margins
6
Latex symbol for personal website url
6
Remove unnecessary page before bibliography
6
utf8 or latin1 encoding - german
6
Using prefix notation
1 2 3 4