@@ -9,29 +9,32 @@ about_content:
9
9
The Haskell Foundation [board of directors](/board-of-directors) are
10
10
responsible for managing and setting the direction of the Haskell
11
11
Foundation. HF's current board will serve on an interim basis during the launch phase and will manage the establishment of the
12
- first full board in early 2021.
13
- team :
12
+ first full board in early 2021.
13
+ team :
14
14
- name : Simon Peyton Jones
15
15
location : UK
16
16
avatar : ' ./images/spj.png'
17
17
description : |
18
- I’m a researcher at Microsoft Research in Cambridge, England. I
19
- started here in Sept 1998. I’m also an Honorary Professor of the
20
- Computing Science Department at Glasgow University, where I was a
21
- professor during 1990-1998.
22
- I am married to Dorothy, a priest in the Church of England. We
23
- have six children.
24
- I’m interested in the design, implementation, and application of
25
- lazy functional languages. In practical terms, that means I spend
26
- a most of my time on the design and implementation of the
27
- language Haskell. In particular, much of my work is focused
18
+ Simon is a researcher at Microsoft Research in Cambridge, England.
19
+ He started there in Sept 1998. He’s also an Honorary Professor of
20
+ the Computing Science Department at Glasgow University, where he
21
+ was a professor during 1990-1998.
22
+
23
+ Simon is married to Dorothy, a priest in the Church of England.
24
+ They have six children.
25
+
26
+ Simon is interested in the design, implementation, and application
27
+ of lazy functional languages. In practical terms, that means he
28
+ spends a most of my time on the design and implementation of the
29
+ language Haskell. In particular, much of his work is focused
28
30
around the Glasgow Haskell Compiler, and its ramifications.
29
- I am chair of Computing at School, the group at the epicentre of
30
- the reform of the national curriculum for Computing in England.
31
- Computer science is now a foundational subject, alongside maths
32
- and natural science, that every child learns from primary school
33
- onwards (background here).
34
- role :
31
+
32
+ Simon is also chair of Computing at School, the group at the
33
+ epicentre of the reform of the national curriculum for Computing
34
+ in England. Computer science is now a foundational subject,
35
+ alongside maths and natural science, that every child learns from
36
+ primary school onwards.
37
+ role :
35
38
- name : Chris Dornan
36
39
location : UK
37
40
avatar : ' ./images/cd.png'
@@ -44,25 +47,25 @@ about_content:
44
47
IRIS Connect where he has overseen the development of the new
45
48
IRIS Connect video platform which makes extensive use of Haskell
46
49
in the back end.
47
- role :
50
+ role :
48
51
- name : Gabriele Keller
49
52
location : USA
50
53
avatar : ' ./images/gk.png'
51
54
description : |
52
- I’m a Professor of Software Technology in the Department of
53
- Information and Computing Sciences. My research focuses on how
55
+ Gabriele is Professor of Software Technology in the Department of
56
+ Information and Computing Sciences. Her research focuses on how
54
57
programming languages can be used to improve the quality of
55
58
software. Conventional software testing is very important, but
56
- can’t guarantee the absence of errors. We are addressing this
57
- problem in our research on developing and using programming
59
+ can’t guarantee the absence of errors. She is addressing this
60
+ problem in her research on developing and using programming
58
61
languages that are based on mathematical theory, so we can prove
59
- that a program will work in all scenarios. We call it
62
+ that a program will work in all scenarios. Call it
60
63
‘correctness by construction’. The real world significance is
61
- obvious: it saves a lot of time and it eliminates errors so which
64
+ obvious: it saves a lot of time and it eliminates errors, so which
62
65
company wouldn’t want it?
63
- role :
66
+ role :
64
67
- name : Jasper Van er Jeugt
65
- location :
68
+ location :
66
69
avatar : ' ./images/jv.png'
67
70
description : |
68
71
Jasper is a Principal Engineer at Fugue, a cloud security startup.
@@ -75,16 +78,16 @@ about_content:
75
78
location :
76
79
avatar : ' ./images/ek.png'
77
80
description : |
78
- I spent most of my adult life trying to build reusable code in
79
- imperative languages before realizing I was building castles in
80
- sand. I converted to Haskell in 2006 while searching for better
81
- building materials. I now chair the Haskell core libraries
82
- committee, collaborate with hundreds of other developers on over
83
- 200 projects on github, and I am obsessed with finding better
84
- tools so that seven years from now I won’t be stuck solving the
85
- same problems with small variations on the same tools I was stuck
86
- using seven years ago.
87
- role :
81
+ Edward spent most of his adult life trying to build reusable code
82
+ in imperative languages before realizing he was building castles
83
+ in sand. He converted to Haskell in 2006 while searching for
84
+ better building materials. He has sinced chaired the Haskell core
85
+ libraries committee, collaborated with hundreds of other
86
+ developers on over 200 projects on github, and is obsessed with
87
+ finding better tools so that seven years from now we won’t be
88
+ stuck solving the same problems with small variations on the same
89
+ tools we were stuck using seven years ago.
90
+ role :
88
91
- name : Stephanie Weirich
89
92
location :
90
93
avatar : ' ./images/sw.png'
@@ -101,7 +104,7 @@ about_content:
101
104
her Ph.D. in 2002. Her dissertation, Programming with Types,
102
105
was supervised by Greg Morrisett. She joined the University of
103
106
Pennsylvania faculty in 2002.
104
- role :
107
+ role :
105
108
- name : Simon Marlow
106
109
location :
107
110
avatar : ' ./images/sm.png'
@@ -115,7 +118,7 @@ about_content:
115
118
since March 2013. The "noted Haskell guru" is part of the team
116
119
behind Facebook's open source Haxl project, a Haskell library
117
120
that simplifies access to remote data.
118
- role :
121
+ role :
119
122
- name : Lennart Augustsson
120
123
location :
121
124
avatar : ' ./images/la.png'
@@ -129,33 +132,5 @@ about_content:
129
132
Sandburst, Credit Suisse, Standard Chartered Bank, Facebook, X
130
133
Development, Google and is currently employed by Epic Games.
131
134
132
- role :
133
- about_page_content : |
134
- The following groups affiliated with the Haskell Foundation:
135
-
136
- - The [Haskell IDE Team](https://github.com/haskell/haskell-language-server)
137
- - The [GHC Steering Committee](https://github.com/ghc-proposals/ghc-proposals)
138
- - [Haskell Weekly](https://haskellweekly.news/)
139
-
140
- The following groups are in the process of affiliating. This means they
141
- endorse the Haskell Foundation but are still in the process of adopting the
142
- new guidelines:
143
-
144
- - The [Core Libraries Committee](https://wiki.haskell.org/Core_Libraries_Committee)
145
- - The [Haskell.org Committee](https://www.haskell.org/haskell-org-committee)
146
- - The Haskell Admins
147
- - [Cabal](https://www.haskell.org/cabal/)
148
-
149
- This is not a closed list! We very much want the Haskell Foundation to be
150
- something by _all of us_. Please [contact](/en/contact/) us if you are
151
- interested in joining us in our quest to make Haskell better for everyone.
152
-
153
- #### The Hackage Trustees
154
-
155
- Placeholder text until the Hackage Trustees provide an official statement.
156
-
157
- #### Volunteers
158
-
159
- This is a placeholder for space we will use to include key volunteers who are not on the board or with one of the affiliated committees.
160
-
135
+ role :
161
136
---
0 commit comments