Welcome. My name is Jimmy Koppel, and I work on creating highly advanced developer tools and making them widespread. I am currently a Ph. D. student at MIT, advised by Armando Solar-Lezama.

Some things I've done:

While I dream of making it easy to make sweeping changes to software (high-level refactoring), I am currently interested in program synthesis, techniques for generating programs, and in language engineering, techniques for making this kind of software easier to build. Here are some of my favorite papers. I also surveyed some of the most impressive results in my talk at the 2012 Singularity Summit (video, slides).

I am proud to be in the second class of Thiel Fellows. Before starting the Fellowship, I graduated from Carnegie Mellon with dual degrees in Computer Science and Mathematics.

I am always happy to chat about startups, research, and life in general. I try to respond to all E-mails within one day.