NixCon 2025

Farhad Mehta belongs to a generation that made its first programming experiences in a functional language, and secretly grieves over the passing of those times. He believes that functional programming has the potential to make software less complex and more fun to write. He has worked in this area at INRIA in Paris (the home of OCaml and Coq), TU Münich (the home of Isabelle/HOL), and the ETH Zürich. He is currently Professor in Computer Science at the OST Eastern Switzerland University of Applied Sciences, where he, among other things, teaches Functional Programming and co-organizes the yearly ZuriHac conference since 2017.