19,013 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Dec 11 at 9:41

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
34
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
3
× 2
127
× 27
20
× 2
16
× 4
0
× 2
4
× 3
29
× 6
13
0
22
× 3
0
3
50
× 2
103
× 15
19
× 3
2
2
29
11
96
× 2
28
× 4
5
12
× 2
0
2
4
1
0
× 2
98
× 2
3
8
× 3