The Haskell Foundation Executive Team reports to the Board of Directors and manages the day to day work of the Foundation. They interpret the Board's priorities, research solutions, and work with the community to execute of the Foundation's mission.
David Thrane Christiansen has a background in software development and academic research. In academia, he worked on the boundary between advanced functional programming languages and metaprogramming, and implemented much of the interactive programming environment for Idris 1. In industry, he has worked on domain-specific languages for the financial sector at Deon Digital and tools for software verification and security at Galois. Throughout, he has worked as much as possible on making languages and ideas accessible, fun, and easy to get started with. Together with Daniel P. Friedman, David is a co-author of The Little Typer, an introductory book on dependent type theory.
In addition to Haskell, David has significant experience with Racket, Kotlin, Idris, Python, and PHP. He is very interested in seeing what the Haskell community can learn from other communities of practice, and facilitating cross-pollination of ideas.
The Haskell Foundation board of directors are responsible for managing and setting the direction of the Haskell Foundation.
More often known as Bodigrim, Andrew is an extremely active Haskell community member, library author and maintainer, speaker and mentor. He has made strides towards cleaning out backlogs for bytestring, text, unix, random, and vector, which were previously stalled. Andrew holds a PhD degree for contributions to the theory of the Riemann zeta-function and develops a range of mathematical packages with a focus on performance.
Technical Agenda
Chris has been interested in Haskell since the early reports and wrote the original Alex package in the 1990s. In the late nineties Chris taught Haskell to undergraduates in UCC (Cork) and in the noughties used Haskell tools to develop key aspects of the ARMv7 architecture. Since 2013 Chris has been chief Engineer for IRIS Connect where he has overseen the development of the new IRIS Connect video platform which makes extensive use of Haskell in the back end.
Community (Chair), Technical Agenda
Edward is a researcher focused on AI safety at the Machine Intelligence Research Institute. He also sits on the board of the Topos Institute, promoting category theory in industry as a tool for exchanging ideas. Outside of Haskell he’s worked on graphics and special effects, telecommunications, finance, linguistics, and once helped Taiwan point a big RADAR at China. Edward found Haskell in 2006 and at the time mistakenly believed all Haskellers were thoroughly fluent in category theory, so he started blogging to this imaginary audience. A few years later his work on lenses provided a more practical impetus for more folks to learn some of these ideas, closing the circle. He currently maintains well over a hundred Haskell libraries covering a rather wide swathe of topics and isn’t entirely sure how he backed himself in that position.
Technical Agenda
Evie has 15 years of software development, the last five being focused on FP and Haskell. She is passionate about teaching people FP and Haskell, about computer science and formalism, and about formal verification. She is currently working as a senior software engineer at Hasura.
Graham is Professor of Computer Science at the University of Nottingham, where he leads the Functional Programming Lab. He’s been involved in Haskell research and education for many years, and has served as an editor of the Journal of Functional Programming, vice-chair of the ACM Special Interest Group on Programming Languages, steering committee chair of the International Conference on Functional Programming, and program chair of the Haskell Symposium. The second edition of his book “Programming in Haskell” was published by Cambridge University Press in 2016.
Research assistant professor at IMDEA software institute in Madrid, Spain. She brought us Liquid Haskell, among many papers written helping to progress Haskell, while serving on 19 committees and co-charing seven venues over her tenure in the field.
Technical Agenda, Community, Publicity
Executive director heading an application development team at Standard Chartered bank, managing a team of 20 people. He co-founded Chordify, and is a member of the IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Before Standard Chartered, he was a postdoc research assistant at Oxford University, and before that, a PhD at Utrecht University.
Budget
Richard has a long track record of contributing to Haskell (GHC, in particular) for the past 8 years, including many publications pushing the boundaries of what Haskell can accomplish. He implemented -XTypeInType and -XTypeApplications, has done considerable work on the constraint solver, type checker, and core language representations in GHC. He is also the author of singletons, serves on the GHC Steering Committee, and was an early member of the HF working group, driving the development of its initial technical agendas. He has been chair of the Haskell Symposium and Haskell Implementors’ Workshop and is driving the efforts on Dependent Haskell. Richard currently works at Tweag as a Principal Researcher.
Founder of Obsidian Systems, organizer for the NY Haskell User Group, 3-time Haskell.org Board Member and treasurer since its incorporation. Ryan has both personally helped the HF with its fundraising and made in-kind contributions through Obsidian to the HF’s web dev track.
Budget (Chair), Ways of Working, Sponsorship
Managing partner and Haskell developer for Flipstone Technology, who worked with us early on in HF’s lifetime and brought both donations as well as put in his own time to help everyone out.
Sponsorship
Simon is a researcher at Microsoft Research in Cambridge, England, where he started in Sept 1998. He’s also an Honorary Professor of the Computing Science Department at Glasgow University, where he was a professor during 1990-1998. Simon is interested in the design, implementation, and application of lazy functional languages. He was one of the original designers of Haskell, and much of his work is focused around the Glasgow Haskell Compiler and its ramifications. Simon is also chair of Computing at School, the group at the epicentre of the reform of the national curriculum for Computing in England. Computer science is now a foundational subject, alongside maths and natural science, that every child learns from primary school onwards.
Hécate has played a huge part in a complete overhaul of the community docs over the past year, and brings to the Foundation their will to change things for the better.
Documentation (Chair), Technical Agenda, Community
Designer and maintainer of Opaleye, who is currently a software engineer with Groq, with a Ph.D in mathematics (probability theory).
Budget, Documentation
