Juan A. Navarro

14,035 reputation

446102

bio	website	navarroj.com/latex
	location	London, United Kingdom
	age	32
visits	member for	2 years, 10 months
	seen	May 22 at 14:08
stats	profile views	958

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.

	14,035 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 10 months
446102 badges		location	London, United Kingdom		seen	May 22 at 14:08

summary answers questions tags badges favorites bounties reputation activity

150 Tags

name votes

12 indexing × 3	9 conditionals × 2	7 quoting	5 framed
12 verbatim × 2	9 texlive × 2	7 automation	4 mactex × 3
11 unicode × 4	9 exam	6 optional-arguments × 2	4 cross-referencing × 2
11 indentation × 3	9 sourcecode	6 braces	4 theorems × 2
11 paragraphs × 2	8 numbering × 3	6 encodings	4 subdividing × 2
11 best-practices × 2	8 pdftex × 3	6 inputenc	4 mindmaps
11 comma-separated-list × 2	8 debugging	6 double-sided	4 chess
11 paper-size	8 wrapfigure	5 documentation × 3	4 source
11 backgrounds	8 raise	5 syntax × 3	4 skak
11 hooks	8 conversion	5 ampersand	4 texshop
10 natbib × 5	8 resume	5 cite-package	4 itemize
10 captions × 3	8 obsolete	5 document-classes	4 diagrams
9 pgfkeys × 6	7 appendices × 2	5 classicthesis	4 minipage