395 reputation
1413
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 2 years, 9 months
seen Apr 16 at 9:27

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.


Apr
14
awarded  Famous Question
Jan
26
awarded  Popular Question
Feb
21
comment ¿Se escribe “satisfactibilidad” o "satisfacibilidad?
estaba apunto de aceptar esta respuesta, pero he encontrado un nuevo argumento sugiriendo que ambas opciones podrían ser correctas, y en consecuencia he editado mi pregunta. ¿Qué opinas de lo que se dice?
Feb
21
revised ¿Se escribe “satisfactibilidad” o "satisfacibilidad?
added 407 characters in body
Feb
20
asked ¿Se escribe “satisfactibilidad” o "satisfacibilidad?
Nov
15
awarded  Yearling
Nov
14
awarded  Autobiographer
Sep
28
awarded  Notable Question
Jun
22
awarded  Nice Question
Jun
19
awarded  Popular Question
Apr
12
revised What is the rule for forming fractional numbers?
Fixed link
Apr
12
suggested suggested edit on What is the rule for forming fractional numbers?
Mar
12
awarded  Beta
Jan
8
accepted ¿Cómo se dice, “a caso” o “acaso”?
Jan
8
asked ¿Cómo se dice, “a caso” o “acaso”?
Dec
12
awarded  Nice Question
Nov
28
awarded  Taxonomist
Nov
23
accepted How can I know if a word or phrase should be avoided due to regional variations?
Nov
23
awarded  Nice Question
Nov
22
awarded  Critic