Jon Rossie

Jon Rossie leads software teams to develop high-assurance distributed systems by applying elements of functional programming and formal methods to specific engineering contexts. This has often involved developing domain-specific languages, type systems, and testing infrastructure. Jon graduated from Indiana University with a PhD in programming languages in 1996. He has developed software for computer networking, bioinformatics, banking, and storage management systems. Jon joined IOHK in 2021.