19,343 reputation
1380142
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 6 months
seen 2 days 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.


160
× 4
66
× 2
29
× 4
24
× 5
159
× 6
60
× 7
29
24
151
× 2
58
× 6
28
× 6
22
× 3
136
× 6
53
× 2
28
× 4
21
× 2
129
× 27
50
× 7
28
× 4
20
× 3
122
× 5
39
28
× 4
19
× 3
119
× 3
37
× 6
28
× 2
18
× 2
105
× 15
37
× 2
27
17
× 2
102
× 2
36
× 7
26
× 2
17
100
× 2
36
26
17
83
× 8
32
× 2
26
16
× 4
77
× 12
31
× 6
25
× 5
16
× 2
74
× 4
29
× 4
25
15
× 3