Skip to content

Update Edward Kmett's bio #278

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 9, 2023
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion who-we-are/people/edwardkmett.markdown
Original file line number Diff line number Diff line change
Expand Up @@ -9,4 +9,4 @@ tenureStart: 2021-02-01
image: /assets/images/board-members/ek.png
committees: 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.
Edward is currently off founding a stealth startup. 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 into that position.