Computer Science, UC Berkeley. Programming languages, program synthesis, human-computer interaction.