19,829 reputation
1382143
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 months
seen Feb 27 at 9:01

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.


169
× 4
69
× 2
30
25
168
× 6
61
× 7
30
24
× 5
160
× 2
61
× 6
29
× 4
24
× 3
142
× 6
56
× 2
29
× 4
21
× 2
131
× 27
50
× 7
29
× 4
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
88
× 8
33
× 2
26
× 2
16
× 4
77
× 12
31
× 6
25
× 5
16
× 2
75
× 4
30
× 2
25
15
× 3