2
2
about_title : en (English) who-we-are page content
3
3
about_content :
4
4
about_page_title : Who We Are
5
- about_page_content : |
5
+ about_page_content_above : |
6
6
7
7
### Haskell Foundation Executive Director
8
8
@@ -17,127 +17,153 @@ about_content:
17
17
Foundation. The [board of directors](/board-of-directors) are responsible
18
18
for managing. The *interim board* will serve the Haskell Foundation
19
19
during it's initial launch phase and will manage the establishment of the
20
- first full board.
20
+ first full board.
21
+ team :
22
+ - name : Simon Peyton Jones
23
+ location : UK
24
+ avatar : ' ./images/spj.png'
25
+ description : |
26
+ I’m a researcher at Microsoft Research in Cambridge, England. I
27
+ started here in Sept 1998. I’m also an Honorary Professor of the
28
+ Computing Science Department at Glasgow University, where I was a
29
+ professor during 1990-1998.
30
+ I am married to Dorothy, a priest in the Church of England. We
31
+ have six children.
32
+ I’m interested in the design, implementation, and application of
33
+ lazy functional languages. In practical terms, that means I spend
34
+ a most of my time on the design and implementation of the
35
+ language Haskell. In particular, much of my work is focused
36
+ around the Glasgow Haskell Compiler, and its ramifications.
37
+ I am chair of Computing at School, the group at the epicentre of
38
+ the reform of the national curriculum for Computing in England.
39
+ Computer science is now a foundational subject, alongside maths
40
+ and natural science, that every child learns from primary school
41
+ onwards (background here).
42
+ role :
43
+ - name : Chris Dornan
44
+ location : UK
45
+ avatar : ' ./images/cd.png'
46
+ description : |
47
+ Chris has been interested in Haskell since the early reports and
48
+ wrote the original Alex package in the 1990s. In the late
49
+ nineties Chris taught Haskell to undergraduates in UCC (Cork) and
50
+ in the noughties used Haskell tools to develop key aspects of the
51
+ ARMv7 architecture. Since 2013 Chris has been chief Engineer for
52
+ IRIS Connect where he has overseen the development of the new
53
+ IRIS Connect video platform which makes extensive use of Haskell
54
+ in the back end.
55
+ role :
56
+ - name : Gabriele Keller
57
+ location : USA
58
+ avatar : ' ./images/gk.png'
59
+ description : |
60
+ I’m a Professor of Software Technology in the Department of
61
+ Information and Computing Sciences. My research focuses on how
62
+ programming languages can be used to improve the quality of
63
+ software. Conventional software testing is very important, but
64
+ can’t guarantee the absence of errors. We are addressing this
65
+ problem in our research on developing and using programming
66
+ languages that are based on mathematical theory, so we can prove
67
+ that a program will work in all scenarios. We call it
68
+ ‘correctness by construction’. The real world significance is
69
+ obvious: it saves a lot of time and it eliminates errors so which
70
+ company wouldn’t want it?
71
+ role :
72
+ - name : Jasper Van er Jeugt
73
+ location :
74
+ avatar : ' ./images/jv.png'
75
+ description : |
76
+ Jasper is a Principal Engineer at Fugue, a cloud security startup.
77
+ He has been deeply involved in the Haskell community for over ten
78
+ years, contributing as open source maintainer as well as community
79
+ organizer, with efforts like ZuriHac and Summer of Haskell. He
80
+ currently chairs the Haskell.org committee.
81
+ role : ' '
82
+ - name : Edward Kmett
83
+ location :
84
+ avatar : ' ./images/ek.png'
85
+ description : |
86
+ I spent most of my adult life trying to build reusable code in
87
+ imperative languages before realizing I was building castles in
88
+ sand. I converted to Haskell in 2006 while searching for better
89
+ building materials. I now chair the Haskell core libraries
90
+ committee, collaborate with hundreds of other developers on over
91
+ 200 projects on github, and I am obsessed with finding better
92
+ tools so that seven years from now I won’t be stuck solving the
93
+ same problems with small variations on the same tools I was stuck
94
+ using seven years ago.
95
+ role :
96
+ - name : Stephanie Weirich
97
+ location :
98
+ avatar : ' ./images/sw.png'
99
+ description : |
100
+ Stephanie Weirich is an American computer scientist specializing
101
+ in type theory, type inference, dependent types, and functional
102
+ programming. She is a professor of computer science at the
103
+ University of Pennsylvania.
104
+ Weirich graduated magna cum laude in 1996 from Rice University,
105
+ with a bachelor's degree in computer science. At Rice, she
106
+ became interested in programming languages through an
107
+ undergraduate research project with Matthias Felleisen. She
108
+ moved to Cornell University for her graduate studies, completing
109
+ her Ph.D. in 2002. Her dissertation, Programming with Types,
110
+ was supervised by Greg Morrisett. She joined the University of
111
+ Pennsylvania faculty in 2002.
112
+ role :
113
+ - name : Simon Marlow
114
+ location :
115
+ avatar : ' ./images/sm.png'
116
+ description : |
117
+ Simon Marlow is a British computer programmer, author, and
118
+ co-developer of the Glasgow Haskell Compiler (GHC). He and Simon
119
+ Peyton Jones won the SIGPLAN Programming Languages Software Award
120
+ in 2011 for their work on GHC. Marlow's book Parallel and
121
+ Concurrent Programming in Haskell was published in August 2013.
122
+ Formerly of Microsoft Research, Marlow has worked at Facebook
123
+ since March 2013. The "noted Haskell guru" is part of the team
124
+ behind Facebook's open source Haxl project, a Haskell library
125
+ that simplifies access to remote data.
126
+ role :
127
+ - name : Lennart Augustsson
128
+ location :
129
+ avatar : ' ./images/la.png'
130
+ description : |
131
+ Lennart Augustsson is a Swedish computer scientist. He was
132
+ previously a lecturer at the Computing Science Department at
133
+ Chalmers University of Technology. His research field is
134
+ functional programming and implementations of functional
135
+ languages.
136
+ Augustsson has worked for Carlstedt Research and Technology,
137
+ Sandburst, Credit Suisse, Standard Chartered Bank, Facebook, X
138
+ Development, Google and is currently employed by Epic Games.
21
139
22
- #### Members of the Interim Board of Directors
140
+ role :
141
+ about_page_content : |
142
+ The following groups affiliated with the Haskell Foundation:
23
143
24
- |  |
25
- |--|
26
- |**Simon Peyton Jones**|
27
- |I’m a researcher at Microsoft Research in Cambridge, England. I |
28
- |started here in Sept 1998. I’m also an Honorary Professor of the |
29
- |Computing Science Department at Glasgow University, where I was a |
30
- |professor during 1990-1998. |
31
- | |
32
- |I am married to Dorothy, a priest in the Church of England. We |
33
- |have six children. |
34
- | |
35
- |I’m interested in the design, implementation, and application of |
36
- |lazy functional languages. In practical terms, that means I spend |
37
- |a most of my time on the design and implementation of the |
38
- |language Haskell. In particular, much of my work is focused |
39
- |around the Glasgow Haskell Compiler, and its ramifications. |
40
- | |
41
- |I am chair of Computing at School, the group at the epicentre of |
42
- |the reform of the national curriculum for Computing in England. |
43
- |Computer science is now a foundational subject, alongside maths |
44
- |and natural science, that every child learns from primary school |
45
- |onwards (background here). |
144
+ - The [Haskell IDE Team](https://github.com/haskell/haskell-language-server)
145
+ - The [GHC Steering Committee](https://github.com/ghc-proposals/ghc-proposals)
146
+ - [Haskell Weekly](https://haskellweekly.news/)
46
147
47
- |  |
48
- |--|
49
- |**Chris Dornan**|
50
- |Chris has been interested in Haskell since the early reports and |
51
- |wrote the original Alex package in the 1990s. In the late |
52
- |nineties Chris taught Haskell to undergraduates in UCC (Cork) and |
53
- |in the noughties used Haskell tools to develop key aspects of the |
54
- |ARMv7 architecture. Since 2013 Chris has been chief Engineer for |
55
- |IRIS Connect where he has overseen the development of the new |
56
- |IRIS Connect video platform which makes extensive use of Haskell |
57
- |in the back end. |
148
+ The following groups are in the process of affiliating. This means they
149
+ endorse the Haskell Foundation but are still in the process of adopting the
150
+ new guidelines:
58
151
59
- |  |
60
- |--|
61
- |**Gabriele Keller**|
62
- |I’m a Professor of Software Technology in the Department of |
63
- |Information and Computing Sciences. My research focuses on how |
64
- |programming languages can be used to improve the quality of |
65
- |software. Conventional software testing is very important, but |
66
- |can’t guarantee the absence of errors. We are addressing this |
67
- |problem in our research on developing and using programming |
68
- |languages that are based on mathematical theory, so we can prove |
69
- |that a program will work in all scenarios. We call it |
70
- |‘correctness by construction’. The real world significance is |
71
- |obvious: it saves a lot of time and it eliminates errors so which |
72
- |company wouldn’t want it? |
152
+ - The [Core Libraries Committee](https://wiki.haskell.org/Core_Libraries_Committee)
153
+ - The [Haskell.org Committee](https://www.haskell.org/haskell-org-committee)
154
+ - The Haskell Admins
155
+ - [Cabal](https://www.haskell.org/cabal/)
73
156
74
- |  |
75
- |--|
76
- |**Jasper Van er Jeugt**|
77
- |Jasper is a Principal Engineer at Fugue, a cloud security startup.|
78
- |He has been deeply involved in the Haskell community for over ten |
79
- |years, contributing as open source maintainer as well as community|
80
- |organizer, with efforts like ZuriHac and Summer of Haskell. He |
81
- |currently chairs the Haskell.org committee. |
157
+ This is not a closed list! We very much want the Haskell Foundation to be
158
+ something by _all of us_. Please [contact](/en/contact/) us if you are
159
+ interested in joining us in our quest to make Haskell better for everyone.
82
160
83
- |  |
84
- |--|
85
- |**Edward Kmett**|
86
- |I spent most of my adult life trying to build reusable code in |
87
- |imperative languages before realizing I was building castles in |
88
- |sand. I converted to Haskell in 2006 while searching for better |
89
- |building materials. I now chair the Haskell core libraries |
90
- |committee, collaborate with hundreds of other developers on over |
91
- |200 projects on github, and I am obsessed with finding better |
92
- |tools so that seven years from now I won’t be stuck solving the |
93
- |same problems with small variations on the same tools I was stuck |
94
- |using seven years ago. |
161
+ #### The Hackage Trustees
95
162
96
- |  |
97
- |--|
98
- |**Stephanie Weirich**|
99
- |Stephanie Weirich is an American computer scientist specializing |
100
- |in type theory, type inference, dependent types, and functional |
101
- |programming. She is a professor of computer science at the |
102
- |University of Pennsylvania. |
103
- | |
104
- |Weirich graduated magna cum laude in 1996 from Rice University, |
105
- |with a bachelor's degree in computer science. At Rice, she |
106
- |became interested in programming languages through an |
107
- |undergraduate research project with Matthias Felleisen. She |
108
- |moved to Cornell University for her graduate studies, completing |
109
- |her Ph.D. in 2002. Her dissertation, Programming with Types, |
110
- |was supervised by Greg Morrisett. She joined the University of |
111
- |Pennsylvania faculty in 2002. |
112
- [source](https://en.wikipedia.org/wiki/Stephanie_Weirich)
163
+ Placeholder text until the Hackage Trustees provide an official statement.
113
164
165
+ #### Volunteers
114
166
115
- |  |
116
- |--|
117
- |**Simon Marlow**|
118
- |Simon Marlow is a British computer programmer, author, and |
119
- |co-developer of the Glasgow Haskell Compiler (GHC). He and Simon |
120
- |Peyton Jones won the SIGPLAN Programming Languages Software Award |
121
- |in 2011 for their work on GHC. Marlow's book Parallel and |
122
- |Concurrent Programming in Haskell was published in August 2013. |
123
- | |
124
- |Formerly of Microsoft Research, Marlow has worked at Facebook |
125
- |since March 2013. The "noted Haskell guru" is part of the team |
126
- |behind Facebook's open source Haxl project, a Haskell library |
127
- |that simplifies access to remote data. |
128
- [source](https://en.wikipedia.org/wiki/Simon_Marlow)
167
+ 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.
129
168
130
- |  |
131
- |--|
132
- |**Lennart Augustsson**|
133
- |Lennart Augustsson is a Swedish computer scientist. He was |
134
- |previously a lecturer at the Computing Science Department at |
135
- |Chalmers University of Technology. His research field is |
136
- |functional programming and implementations of functional |
137
- |languages. |
138
- | |
139
- |Augustsson has worked for Carlstedt Research and Technology, |
140
- |Sandburst, Credit Suisse, Standard Chartered Bank, Facebook, X |
141
- |Development, Google and is currently employed by Epic Games. |
142
- [source](https://en.wikipedia.org/wiki/Lennart_Augustsson)
143
- ---
169
+ ---
0 commit comments