| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 10 months |
| seen | 23 hours ago | |
| stats | profile views | 956 |
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.
|
|
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 |
| Nice Answer × 29 | Great Answer |
| Nice Question × 26 | Guru × 3 |
| Necromancer × 3 | Notable Question × 8 |
| Popular Question × 19 | Custodian × 3 |
| Good Question × 7 | Good Answer × 8 |
This user has no active bounties
1,606 Votes Cast
| all time | by type | month | week | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 1,580 | up | 734 | question | 18 | 10 | ||||
| 26 | down | 872 | answer | ||||||