I'm interested in programming languages and program synthesis. Currently thinking about synthesizing specifications.