Juan A. Navarro

239 reputation

1310

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

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.

	239 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 2 months
1310 badges		location	London, United Kingdom		seen	7 hours ago

summary answers questions tags badges favorites bounties reputation activity

3 Questions

votes activity newest

28	Do pigs have 30 minute orgasms?
9	Has a meat substitute from human feces been developed in Japan?
8	Is there a Chinese boy who can read in almost-perfect darkness?

239 Reputation

+63	Do pigs have 30 minute orgasms?
+10	Has a meat substitute from human feces been developed in Japan?
+40	Is there a Chinese boy who can read in almost-perfect darkness?

0 Answers

votes activity newest

This user has not answered any questions

7 Tags

0 nutrition	0 ethology
0 environment	0 news
0 animals	0 medical-science
0 sexuality

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