Juan A. Navarro

14,155 reputation

446105

bio	website	navarroj.com/latex
	location	London, United Kingdom
	age	32
visits	member for	2 years, 10 months
	seen	3 hours ago
stats	profile views	993

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,155 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 10 months
446105 badges		location	London, United Kingdom		seen	3 hours ago

summary answers questions tags badges favorites bounties reputation activity

39 Accepts

suggestions reviews revisions comments badges posts accepts all

Jun 30	accepted	biblatex: Abbreviated author names?
Jun 29	accepted	biblatex: Single out specific bibliography entries
May 31	accepted	Titlesec: remove space after empty margin section
Feb 7	accepted	Documentation reference for LaTeX internal commands?
Nov 11	accepted	How to raise a subscript?
Nov 8	accepted	Is it possible to get unsrt + abbrv bibliography?
Nov 1	accepted	What is the difference between Fragile and Robust commands?
Oct 25	accepted	Non-breaking space in \citet using natbib?
Oct 21	accepted	What is the best way to scan over a list of somethings?
Oct 19	accepted	Parse and execute the next word as a command?
Oct 5	accepted	Multilingual class/style file?
Aug 6	accepted	Which command should I use for displayed equations?
Aug 4	accepted	How can I typeset the date/time at compile time?
Aug 4	accepted	How to keep my TeX Live installation up to date?
Aug 3	accepted	How can I test if a command is followed by an argument?
Aug 1	accepted	How do magic \dots work in amsmath?
Jul 30	accepted	How can I get rid of indentation after an equation?
Jul 28	accepted	What is the best package out there to typeset proof trees?
Jul 28	accepted	How to automatically resize the vertical bar in a set comprehension?