18,280 reputation
1072134
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
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.


Apr
30
comment Some errors with a little document
You'll get better answers if you first try to write a minimal example.
Apr
30
revised What is the difference between TeX and LaTeX?
added 4 characters in body
Apr
23
awarded  Nice Question
Apr
19
awarded  Necromancer
Apr
19
revised The '.is if' handler of pgfkeys
changed code to work directly with etoolbox toggles
Apr
18
answered The '.is if' handler of pgfkeys
Apr
18
revised Save choice and execute later in pgfkeys?
removed partial answer
Apr
18
accepted Save choice and execute later in pgfkeys?
Apr
18
answered Save choice and execute later in pgfkeys?
Apr
15
revised Appending to a style that sets code with arguments in pgfkeys
added more details on the low level problem and made an informal offer of a bounty.
Apr
11
revised Appending to a style that sets code with arguments in pgfkeys
fixed typos
Apr
11
asked Appending to a style that sets code with arguments in pgfkeys
Apr
11
awarded  Popular Question
Apr
9
accepted What is the deal about these semantic vs syntactic commands?
Apr
9
comment LaTeX Editors/IDEs
@rolve, it all depends on how you tend to write your code. I have seen very messy code mixing content/formatting within the body of the document, but by using semantically defined commands you can make the distinction very explicit.
Apr
3
awarded  Good Question
Apr
2
accepted Geometry settings for default document layout?
Apr
2
revised How can I use BibTeX to cite a web page?
edited body
Apr
2
revised How can I use BibTeX to cite a web page?
edited body
Apr
2
awarded  Good Question