PhD student in computer science (PL/SE) at EPFL. Research interests: how can we get better at thinking about, explaining, and programming complex software systems? Programming languages, methods, tools, interfaces for software that is more robust, efficient, extensible, understandable.