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.
Andrew Boardman brings a varied background as a serial entrepreneur, manager, teacher, consultant, and financial professional. He started professional programming in high school, writing text editor software for electronic bulletin board systems. Since then he has been the tech lead for the Windows build lab, lead developer for Windows Live Messenger, worked on desktop publishing software at Quark, and co-founded five startups, and much more.
Andrew was drawn to Haskell in 2015 as the best solution to solve the truly difficult problems in computer science. Most recently he was a Haskell developer and engineering manager at SimSpace Corp., working on software for cybersecurity readiness training and testing. He is extremely excited about serving the community, and looks forward to working with everyone to address pain points and build on the language’s strengths.
The Haskell Foundation board of directors are responsible for managing and setting the direction of the Haskell Foundation.
Ph.D., co-founder of Zurich Haskell Meetup and longtime co-organiser of ZuriHac. Currently Head of Software Development at PwC Switzerland. On a mission to making Haskell a viable choice with little personal risk for corporate decision makers.
Ways of Working (Chair)
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
Creator and maintainer of 80+ open source packages, creator of the Yesod framework, creator of Stack and Stackage, prolific blogger and communicator within Haskell. He is the acting VP of FP Complete, and provided advice and worked with the HF working group early on.
Technical Agenda
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
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.
Ways of Working, Technical Agenda
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
