18,515 reputation
1074137
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 3 months
seen Sep 17 at 7:18

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.


35
× 7
13
× 4
0
26
33
15
× 3
28
× 4
11
× 5
26
× 2
8
0
3
32
× 2
24
× 5
0
8
× 3
6
7
× 2
12
× 4
9
0
2
× 2
126
× 27
19
× 2
16
× 4
0
× 2
4
× 3
29
× 6
13
0
22
× 3
0
3
49
× 2
101
× 15
19
× 3
2
1
29
11
87
× 2
27
× 4
5
12
× 2
0
2
4
1
0
× 2
89
× 2
3
8
× 3