Ivan is the founder of Keera, a game studio using Haskell. He is known for his work around Functional Reactive Programming, and more recently, he has been working as a Principal Research Scientist at NASA Ames Research Center.
In this talk, we'll discuss how Haskell is being used for runtime verification of systems in safety critical domains, what steps are needed to make Haskell adopted by engineers, and how we could build the next generation of tools to keep systems and humans safe as we venture towards space.
zfoh.ch/zurihac2024/
www.ost.ch/