network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 5 months |
| seen | Jan 14 at 18:57 | |
| stats | profile views | 0 |
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.
|
Jan 6 |
awarded | Promoter |
|
Jan 3 |
comment |
What was the Julian Calendar aligned to? Yes, but the question is why they aligned these astronomical events to the (seemingly) arbitrary date of December 25th? |
|
Jan 2 |
awarded | Student |
|
Jan 2 |
asked | What was the Julian Calendar aligned to? |
|
Jan 2 |
awarded | Autobiographer |
