Interested in programming languages and systems reliability. Used to do security engineering and web standards.