IOHK supported project
Duncan Coutts
Chief Technical ArchitectTeam Well-Typed
Lars Brünjes
Director of EducationTeam Haskell
Philipp Kant
Director of Formal MethodsGödel Team
Neil Davies
System Performance Scientist
Peter Thompson
Cardano SL DeveloperSystem Performance Scientist
Ante Kegalj
Cardano SL DeveloperTeam Haskell
Kristijan Šarić
Denis Shevchenko
Cardano SL Core DeveloperTeam Haskell
Alexander Vieth
Cardano SL DeveloperTeam Well Typed
Vasilis Gkoumas
HASKELL DEVELOPERTeam Haskell
Edsko de Vries
ConsultantTeam Well-Typed
Christopher Greenwood
Senior Project Manager
Dynal Patel
Senior Product ManagerEnterprise
Rob Cohen
Haskell DeveloperTeam Haskell
Andreas Triantafyllos
Matthias Güdemann
Formal MethodsSoftware Engineer
Javier Roberto Diaz
Marcin Szamotulski, PhD
Nicholas Clarke
Haskell ConsultantTweag I/O
Thomas Winant
Haskell ConsultantTeam Well-Typed
Tatyana Valkevych
Release Manager
Radu Ometita
Functional Compilers Engineer
Jann Müller
Michael Peyton Jones
Roman Kireev
Alexander Nemish
Matthias Benkort
Alexander Diemand
Polina Vinogradova
Formal MethodsSoftware Developer
Jordan Millar
Kostas Dermentzis
Manuel Chakravarty
Language Architect
Pawel Jakubas
Haskell developerTeam Haskell
Damian Nadales
Formal Methods Engineer
Johannes Lund
Junior Haskell Developer
Michael Hueschen
Ryan Lee Lemmer
Senior Haskell Developer
James Chapman
Senior Haskell Developer (Prototyping)
Erik De Castro Lopo
Senior Haskell EngineerTeam Haskell
Mikhail Zabaluev
Rust Developer
Jonathan Knowles
Marc Fontaine
Paweł Śląski
Scala Developer
Carlos Vargas-Montero
Davis Kemlers
Full-Stack Developer