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.
TeX - LaTeX
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Area 51
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Stack Overflow
Q&A for professional and enthusiast programmers
Ask Different
Q&A for power users of Apple hardware and software
Spanish Language & Usage
Q&A for students, teachers, and linguists wanting to discuss the finer points of the Spanish language
Mathematics
Q&A for people studying math at any level and professionals in related fields
Cross Validated
Q&A for statisticians, data analysts, data miners and data visualization experts
Physics
Q&A for active researchers, academics and students of physics
Meta Stack Overflow
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
English Language & Usage
Q&A for linguists, etymologists, and serious English language enthusiasts
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Computational Science
Q&A for scientists using computers to solve scientific problems
