Juan A. Navarro

less info

403 reputation

215

bio	website	navarroj.com/latex
	location	Munich, Germany
	age	31
visits	member for	1 year, 9 months
	seen	May 11 at 18:19
stats	profile views	26

A computer scientist currently located at the Technische Universität München as a visiting researcher. 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.

	403 reputation	bio	website	navarroj.com/latex	visits	member for	1 year, 9 months
215 badges		location	Munich, Germany		seen	May 11 at 18:19

summary answers questions tags badges favorites bounties reputation activity

10 Questions

votes activity newest

15	What are some alternatives to Quicksilver?
12	How can I move an iTunes library from one computer to another?
7	Subtitle editor for OSX?
5	Start/stop internet sharing from a script?
3	How can I print a booklet from a pdf file?

403 Reputation

+5	Start/stop internet sharing from a script?
+10	How can I print a booklet from a pdf file?
+20	How can I print a booklet from a pdf file?
+5	How to sync Notes over iCloud?

5 Answers

votes activity newest

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