Sebastian Nagel

Sebastian Nagel is an Austrian software engineer and functional programming enthusiast. He studied computer science and graduated from the Technical University of Munich with a master's degree in robotics, cognition and intelligence. Within the robotics industry, he got to know and love Haskell, formal methods, domain-specific languages, and interpreters. After several years creating robot programming languages, development platforms, and internet of things projects at Franka Emika, Sebastian joined IOHK in 2021. In his time off he usually roams the Alps climbing rock and ice.