meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 1 year, 6 months |
| seen | Feb 22 at 15:11 | |
| stats | profile views | 8 |
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.
|
Nov 15 |
awarded | Yearling |
|
Nov 14 |
awarded | Autobiographer |
|
Sep 28 |
awarded | Notable Question |
|
Jun 22 |
awarded | Nice Question |
|
Jun 19 |
awarded | Popular Question |
|
Mar 12 |
awarded | Beta |
|
Dec 12 |
awarded | Nice Question |
|
Nov 28 |
awarded | Taxonomist |
|
Nov 23 |
awarded | Nice Question |
|
Nov 22 |
awarded | Critic |
|
Nov 16 |
awarded | Quorum |
|
Nov 16 |
awarded | Commentator |
|
Nov 16 |
awarded | Scholar |
|
Nov 15 |
awarded | Editor |
|
Nov 15 |
awarded | Supporter |
|
Nov 15 |
awarded | Student |
