meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | May 15 at 21:05 | |
| stats | profile views | 951 |
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.
|
Apr 16 |
awarded | Popular Question |
|
Apr 11 |
awarded | Nice Answer |
|
Apr 4 |
awarded | Popular Question |
|
Mar 23 |
awarded | Popular Question |
|
Mar 20 |
awarded | Popular Question |
|
Mar 8 |
awarded | Nice Answer |
|
Mar 6 |
awarded | Nice Answer |
|
Feb 23 |
awarded | Nice Answer |
|
Dec 29 |
awarded | Nice Answer |
|
Dec 21 |
awarded | Pundit |
|
Dec 21 |
awarded | Nice Answer |
|
Dec 12 |
awarded | Popular Question |
|
Dec 1 |
awarded | Generalist |
|
Nov 29 |
awarded | Nice Answer |
|
Nov 26 |
awarded | Good Answer |
|
Nov 14 |
awarded | Popular Question |
|
Nov 10 |
awarded | Enlightened |
|
Nov 10 |
awarded | Nice Answer |
|
Oct 31 |
awarded | Good Question |
|
Oct 25 |
awarded | Nice Question |
