16,925 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 8 months
seen 3 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.


117
× 27
52
× 6
27
23
117
× 6
51
× 2
26
× 6
21
× 3
108
× 2
49
× 7
26
× 4
18
× 3
101
× 6
40
× 2
26
× 4
17
× 3
96
× 5
39
26
× 4
17
× 2
95
× 15
36
× 6
25
× 5
17
93
× 3
33
× 7
25
× 2
16
× 2
76
× 2
32
× 2
24
× 2
15
× 2
75
× 8
30
23
× 5
15
× 2
74
× 2
29
× 2
23
15
72
× 4
28
× 6
23
14
× 6
71
× 12
27
× 4
23
14
× 4
56
× 7
27
× 4
23
14
× 3