688 reputation
4 14 31

Juan A. Navarro

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.

Top Tags (27)

Score 9
Posts 4
Posts % 24
Score 9
Posts 3
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2

Top Posts (17) All Questions Answers | Votes Newest

View all questions and answers

Badges (49)

Gold 4

Rarest

Silver 14

Rarest

Bronze 31

Rarest