Skip to content

Commit cb7fb36

Browse files
authored
Merge pull request #201 from haskellfoundation/leavers-2022
Board + executive resignations
2 parents 5fb1517 + 1d4011c commit cb7fb36

File tree

6 files changed

+8
-5
lines changed

6 files changed

+8
-5
lines changed

templates/who-we-are/exec-and-board.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@
3333
<h1 class="text-2xl-5xl">Who We Are</h1>
3434
</div>
3535
</div>
36-
36+
<!--
3737
<div class="xl:max-w-screen-xl mx-auto md:px-12 lg:px-16">
3838
<div class="bg-gray-800 shadow-lg shadow-xl shadow-md shadow-sm px-6 sm:px-12 md:px-12 lg:px-16 py-16 md:py-20">
3939
<h2 class="text-gray-50 font-normal text-3xl-4xl text-center">Executive Team</h2>
@@ -44,7 +44,7 @@ <h2 class="text-gray-50 font-normal text-3xl-4xl text-center">Executive Team</h2
4444
</p>
4545
</div>
4646
</div>
47-
47+
-->
4848
<div class="max-w-screen-xl mx-auto px-4 sm:px-12 md:px-12 lg:px-16 py-16 md:py-24">
4949
<div class="mt-10 md:mt-12 lg:mt-16 xl:mt-20 grid gap-8 md:grid-cols-2">
5050
$for(currentexecutiveteam)$

who-we-are/people/alexanderbernauer.markdown

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,8 @@ email: [email protected]
44
title: Board Member
55
executiveTeam: "False"
66
tenureStart: 2021-02-01
7+
tenureEnd: 2022-04-08
78
image: /assets/images/board-members/ab.png
8-
committees: Ways of Working (Chair)
9+
committees: Ways of Working
910
---
1011
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.

who-we-are/people/andrewboardman.markdown

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ email: [email protected]
44
title: Executive Director
55
executiveTeam: "True"
66
tenureStart: 2021-02-22
7+
tenureEnd: 2022-03-31
78
image: /assets/images/exec-team/afb.png
89
---
910
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.

who-we-are/people/michaelsnoyman.markdown

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ email: [email protected]
44
title: Board Member
55
executiveTeam: "False"
66
tenureStart: 2021-02-01
7+
tenureEnd: 2021-03-31
78
image: /assets/images/board-members/ms.png
89
committees: Technical Agenda
910
---

who-we-are/people/nikivazou.markdown

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,6 @@ title: Board Member
55
executiveTeam: "False"
66
tenureStart: 2021-02-01
77
image: /assets/images/board-members/nv.png
8-
committees: Technical Agenda, Community
8+
committees: Technical Agenda, Community, Publicity
99
---
1010
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.

who-we-are/people/richardeisenberg.markdown

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ title: Chair
55
executiveTeam: "False"
66
tenureStart: 2021-02-01
77
image: /assets/images/board-members/re.png
8-
committees: Ways of Working, Technical Agenda
8+
committees:
99
website: https://richarde.dev/
1010
---
1111
[Richard](https://richarde.dev/) 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 <tt>-XTypeInType</tt> and <tt>-XTypeApplications</tt>, 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.

0 commit comments

Comments
 (0)