19,764 reputation
1381143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 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.


167
× 4
67
× 2
30
25
166
× 6
61
× 7
29
× 4
24
× 5
158
× 2
61
× 6
29
× 4
24
× 3
142
× 6
54
× 2
29
× 4
21
× 2
131
× 27
50
× 7
29
20
× 3
129
× 5
39
28
× 6
19
× 3
126
× 3
39
28
× 4
18
× 2
109
× 2
38
× 7
28
× 4
18
× 2
107
× 2
38
× 6
27
17
106
× 15
38
× 2
27
17
87
× 8
33
× 2
26
× 2
16
× 4
77
× 12
31
× 6
25
× 5
16
× 2
75
× 4
30
× 2
25
15
× 3