19,374 reputation
1380143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 6 months
seen Jan 26 at 19:24

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.


36
× 7
13
× 4
0
26
36
15
× 3
29
× 4
11
× 5
26
× 2
8
0
3
32
× 2
24
× 5
0
8
× 3
6
7
× 2
12
× 4
10
0
3
× 2
129
× 27
21
× 2
16
× 4
0
× 2
4
× 3
31
× 6
13
0
24
× 3
0
3
54
× 2
105
× 15
19
× 3
2
2
29
11
101
× 2
28
× 4
5
12
× 2
0
2
4
1
0
× 2
103
× 2
3
8
× 3