Juan A. Navarro

491 reputation

1725

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

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.

	491 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 9 months
1725 badges		location	London, United Kingdom		seen	16 hours ago

summary answers questions tags badges favorites bounties reputation activity

12 Questions

votes activity newest

15	What are some alternatives to Quicksilver?
13	How can I move an iTunes library from one computer to another?
11	Subtitle editor for OSX?
10	Start/stop internet sharing from a script?
4	Split a single page PDF into multiple pages

491 Reputation

+10	Alternative to iWeb?
+5	Start/stop internet sharing from a script?
+10	Subtitle editor for OSX?
+5	How to export a date range in Calendar

5 Answers

votes activity newest

3	How can I print a booklet from a pdf file?
1	How to sync Notes over iCloud?
1	Constantly ejecting OS X install disc when trying to boot
1	What iPhone apps can't you live without?
0	Open Self Extracting .exe

27 Tags

3 pdf × 4	1 notes.app × 2
3 printing × 3	1 icloud × 2
1 install × 2	0 software-recommendation × 3
1 boot × 2	0 quicksilver
1 mobile-mail × 2	0 preview

22 Accounts

$TeX - LaTeX Stack Exchange$	TeX - LaTeX	14,030 rep	446102
	Area 51	1,459 rep	124
	Stack Overflow	898 rep	1021
	Ask Different	491 rep	1725
	Spanish Language & Usage	382 rep	412