Juan A. Navarro

13,965 reputation

446101

bio	website	navarroj.com/latex
	location	London, United Kingdom
	age	32
visits	member for	2 years, 9 months
	seen	2 days ago
stats	profile views	951

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.

	13,965 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 9 months
446101 badges		location	London, United Kingdom		seen	2 days ago

summary answers questions tags badges favorites bounties reputation activity

150 Tags

name votes

68 floats × 6	0 incompatibility × 2	59 links × 2	23 msword
28 fonts × 7	11 indentation × 3	0 listings	10 natbib × 5
23 fontsize	12 indexing × 3	20 lists × 3	3 notes
19 footnotes × 2	6 inputenc	0 logic	8 numbering × 3
29 formatting × 2	23 installing × 5	12 lyx × 4	8 obsolete
5 framed	4 itemize	101 macros × 26	6 optional-arguments × 2
0 geometry	1 key-value × 2	4 mactex × 3	24 packages × 6
12 graphics × 4	0 languages × 2	18 margins × 3	0 package-writing
11 hooks	0 latex-kernel	78 math-mode × 13	15 page-breaking × 3
3 horizontal-alignment	32 latex-project × 2	25 math-operators	11 paper-size
2 html	1 letters	4 mindmaps	11 paragraphs × 2
57 hyperref × 2	23 line-breaking × 4	4 minipage	1 parsing
0 imakeidx	2 line-spacing	3 moderncv	8 pdftex × 3