meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 11 months |
| seen | 12 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.
89
137
votes
5
answers
19
kviews
24
87
votes
3
answers
4
kviews
16
46
votes
5
answers
3
kviews
12
41
votes
2
answers
2
kviews
19
35
votes
3
answers
1
kviews
4
28
votes
4
answers
5
kviews
8
26
votes
2
answers
5
kviews
10
21
votes
8
answers
739
views
10
20
votes
5
answers
2
kviews
2
20
votes
2
answers
5
kviews
4
20
votes
4
answers
1
kviews
7
19
votes
1
answer
2
kviews
8
16
votes
2
answers
787
views
4
15
votes
3
answers
2
kviews
4
12
votes
3
answers
962
views
1
12
votes
3
answers
1
kviews
5
11
votes
2
answers
303
views
11
votes
3
answers
143
views
1
11
votes
1
answer
914
views
3
10
votes
2
answers
5
kviews
3
10
votes
3
answers
791
views
10
votes
1
answer
608
views
1
10
votes
3
answers
4
kviews
1
9
votes
2
answers
460
views
8
votes
1
answer
330
views
1
8
votes
1
answer
515
views
