20,064 reputation
1484143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 8 months
seen Mar 11 at 8:49

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.


38
× 7
13
× 4
0
27
42
15
× 3
30
× 4
11
× 5
26
× 2
8
0
3
33
× 2
24
× 5
0
8
× 3
6
8
× 2
12
× 4
10
0
3
× 2
132
× 27
22
× 2
16
× 4
0
× 2
4
× 3
31
× 6
13
0
24
× 3
0
3
56
× 2
107
× 15
19
× 3
2
2
30
11
109
× 2
29
× 4
5
12
× 2
0
2
5
1
0
× 2
111
× 2
3
8
× 3