19,023 reputation
1177139
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen 13 hours ago

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.


158
× 4
63
× 2
29
24
× 5
157
× 6
60
× 7
28
× 6
24
149
× 2
56
× 6
28
× 4
22
× 3
131
× 6
50
× 7
28
× 4
20
× 3
127
× 27
50
× 2
28
× 4
20
× 2
118
× 5
39
28
× 4
19
× 3
115
× 3
37
× 2
27
× 2
18
× 2
103
× 15
36
× 6
27
17
× 2
98
× 2
35
× 7
26
× 2
17
96
× 2
34
26
17
81
× 8
32
× 2
26
16
× 4
74
× 12
29
× 6
25
× 5
16
× 2
72
× 4
29
× 4
25
15
× 3