meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 10 months |
| seen | 22 hours ago | |
| stats | profile views | 956 |
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.
184
votes
2
answers
19
kviews
51
votes
5
answers
3
kviews
44
votes
4
answers
808
views
23
votes
2
answers
1
kviews
7
votes
1
answer
371
views
7
votes
1
answer
598
views
77
votes
3
answers
9
kviews
21
votes
7
answers
1
kviews
6
votes
1
answer
860
views
72
votes
7
answers
27
kviews
15
votes
4
answers
803
views
12
votes
6
answers
2
kviews
109
votes
4
answers
8
kviews
15
votes
3
answers
2
kviews
43
votes
5
answers
4
kviews
21
votes
8
answers
728
views
21
votes
3
answers
4
kviews
29
votes
8
answers
1
kviews
