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

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.


88
× 24
48
× 7
63
× 12
43
× 8
56
× 4
36
× 2
54
× 4
33
× 6
51
× 10
31
× 5
TeX - LaTeX TeX - LaTeX 10,454 rep 12370
Area 51 Area 51 1,459 rep 124
Apple Apple 403 rep 215
Stack Overflow Stack Overflow 376 rep 115
Spanish Language and Usage Spanish Language and Usage 352 rep 29
all time   by type   month  
1,436 up 692 question 8
24 down 768 answer