His work focuses on runtime code generation, advanced compiler technology, and associated language support. From 2008 to 2014 he was a member of Martin Odersky’s Scala team at EPFL where he developed the LMS compiler framework and made various contributions to the Scala language and toolchain (delimited continuations, efficient immutable data structures, compiler speedups, formalization of the type system). He received his PhD from EPFL in 2012. From 2012 to 2014 he was a researcher at Oracle Labs. His work received awards including CACM Research Highlight 2012, VLDB Best Paper 2014, NSF CAREER 2016, and Google Faculty Research Award 2016.