Juan A. Navarro

481 reputation

1725

bio	website	navarroj.com/latex
	location	London, United Kingdom
	age	32
visits	member for	2 years, 9 months
	seen	May 7 at 19:36
stats	profile views	42

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.

	481 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 9 months
1725 badges		location	London, United Kingdom		seen	May 7 at 19:36

summary answers questions tags badges favorites bounties reputation activity

11 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

481 Reputation

+20	Start/stop internet sharing from a script?
+10	Subtitle editor for OSX?
+5	How to export a date range in Calendar
+5	Split a single page PDF into multiple pages

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

26 Tags

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

22 Accounts

$TeX - LaTeX Stack Exchange$	TeX - LaTeX	13,965 rep	446101
	Area 51	1,459 rep	124
	Stack Overflow	888 rep	1021
	Ask Different	481 rep	1725
	Spanish Language & Usage	382 rep	412