network profile
481
reputation
22
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | Jul 21 '11 at 8:50 | |
| stats | profile views | 1 |
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.
This user has not asked any questions
|
TeX - LaTeX | 13,985 rep | 446101 |
|
Area 51 | 1,459 rep | 124 |
|
Stack Overflow | 888 rep | 1021 |
|
Ask Different | 481 rep | 1725 |
|
Spanish Language & Usage | 382 rep | 412 |
2 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 2 | up | 1 | question | ||
| 0 | down | 1 | answer | ||
