meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 11 months |
| seen | 19 hours ago | |
| stats | profile views | 994 |
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.
|
Oct 17 |
awarded | Nice Question |
|
Sep 29 |
awarded | Great Question |
|
Sep 28 |
awarded | Good Answer |
|
Sep 21 |
awarded | Custodian |
|
Sep 7 |
awarded | Nice Answer |
|
Sep 6 |
awarded | Investor |
|
Aug 29 |
awarded | Notable Question |
|
Aug 17 |
awarded | Nice Question |
|
Aug 6 |
awarded | Good Answer |
|
Aug 3 |
awarded | Nice Answer |
|
Jul 27 |
awarded | Yearling |
|
Jul 24 |
awarded | Enlightened |
|
Jul 24 |
awarded | Nice Answer |
|
Jul 14 |
awarded | Notable Question |
|
Jul 2 |
awarded | Good Question |
|
Jun 22 |
awarded | Popular Question |
|
Jun 8 |
awarded | Constituent |
|
Jun 8 |
awarded | Caucus |
|
Jun 4 |
awarded | Nice Answer |
|
May 30 |
awarded | Nice Question |
