18,855 reputation
1177138
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen yesterday

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
27
34
15
× 3
28
× 4
11
× 5
26
× 2
8
0
3
33
× 2
24
× 5
0
8
× 3
6
7
× 2
12
× 4
9
0
2
× 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
93
× 2
27
× 4
5
12
× 2
0
2
4
1
0
× 2
95
× 2
3
8
× 3