Dimi is a researcher at EPFL in Switzerland. She got her Ph.D. in computer science at the University of Geneva. She worked on model checking and developed efficient data structures to generate and explore large state spaces. Dimi likes generic programming, because it looks like math, and low-level programming languages, because she loves wasting time on premature optimization.

Evan is the creator of the Elm programming language. He is currently focused on bringing the benefits of type functional programming to databases, with the longer-term goal of developing Elm in a sustainable and healthy way. He has been developing compilers and servers in Haskell for nearly 15 years, and has significant expertise in using low-level techniques to get the best possible performance out of Haskell programs.

Martin Odersky is the creator of the Scala programming language and a professor at EPFL in Lausanne, Switzerland. He is also the founder and chairman of the Scala Center. His research interests include programming languages, type systems, and compiler technology. At EPFL, he leads the Programming Methods Laboratory, where he implements the cutting-edge research ideas into the Scala programming language.

Ralf Jung is an Assistant Professor of Computer Science at ETH Zurich, where he leads the Programming Language Foundations Lab within the Institute for Programming Languages and Systems. His research focuses on formal methods for programming languages, particularly Rust and the Iris framework for concurrent separation logic. Jung’s work aims to provide rigorous mathematical foundations to ensure software reliability and security. He has made significant contributions to Rust’s formal verification, including the development of the RustBelt project and the Miri tool for detecting undefined behavior in unsafe Rust code. His efforts have been recognized with several awards, such as the ACM SIGPLAN Most Influential POPL Paper Award in 2025 for his work on Iris.