Juan A. Navarro

less info

148 reputation

bio	website	navarroj.com/latex
	location	Munich, Germany
	age	31
visits	member for	1 year, 9 months
	seen	yesterday
stats	profile views	18

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.

	148 reputation	bio	website	navarroj.com/latex	visits	member for	1 year, 9 months
6 badges		location	Munich, Germany		seen	yesterday

summary answers questions tags badges favorites bounties reputation activity

1 Answer

votes activity newest

3	Run script in OS X 10.6 on network connection. (like /etc/network/if-up.d/)

148 Reputation

+30	Run script in OS X 10.6 on network connection. (like /etc/network/if-up.d/)
+15	Fully featured time command on Mac OS X?

1 Question

votes activity newest

3	Fully featured time command on Mac OS X?

6 Tags

3 osx × 2	3 networking
3 shell-script	0 benchmarking
3 automation	0 time

17 Accounts

$TeX - LaTeX$	TeX - LaTeX	10,524 rep	12372
	Area 51	1,459 rep	124
	Apple	403 rep	215
	Stack Overflow	400 rep	115
	Spanish Language and Usage	352 rep	29

6 Badges

recent class name

Teacher	Student
Citizen Patrol	Autobiographer
Scholar	Supporter

0 Active bounties

active offered earned

This user has no active bounties

14 Votes Cast

all time			by type
14	up		6	question
0	down		8	answer

user feed