I'm
I'm a
In my spare time, I like programming and tinkering with DevOps for fun.
My go-to languages are
I have a blog, updated weekly with what's been going on in my life.
I also play, and think a lot about, roleplaying games.
My current games of choice are
You can find me elsewhere on the internet:
If you want to send me encrypted mail, here's my GPG key.
I'm a software engineer on GoCardless's
Before GoCardless, I worked for the Government Digital Service on GOV.UK.
I like working on tricky technical challenges, and gravitate to
See my CV for a bullet-point highlight reel.
I did a Ph.D at the
Here's a PDF of my thesis.
I published a couple of papers too:
If you want to cite any of my publications, click the headings below to show the BibTeX:
@PhdThesis{walker2018, author = "Walker, Michael", title = "Revealing Behaviours of Concurrent Functional Programs by Systematic Testing", year = 2018, }
@InProceedings{dejafu-hs15, author = "Walker, Michael and Runciman, Colin", title = {{D{'e}j\`{a} Fu}: {A} Concurrency Testing Library for {Haskell}}, booktitle = "Proceedings of the 8th ACM SIGPLAN Symposium on Haskell", series = "Haskell 2015", year = "2015", isbn = "978-1-4503-3808-0", location = "Vancouver, BC, Canada", pages = "141--152", numpages = "12", url = "http://doi.acm.org/10.1145/2804302.2804306", doi = "10.1145/2804302.2804306", acmid = "2804306", publisher = "ACM", address = "New York, NY, USA", }
@InProceedings{coco-flops18, author = "Walker, Michael and Runciman, Colin", title = "Cheap Remarks About Concurrent Programs", booktitle = "Functional and Logic Programming", year = 2018, editor = "Gallagher, John P. and Sulzmann, Martin", series = "FLOPS 2018", pages = "264-279", publisher = "Springer International Publishing", isbn = "978-3-319-90686-7", location = "Nagoya, Japan", url = "https://doi.org/10.1007/978-3-319-90686-7_17", doi = "10.1007/978-3-319-90686-7_17", }
My main open source project is Déjà Fu, a library for
In the past I've also served as project leader for Arch Hurd, a
I also have some Haskell IRC libraries: irc-ctcp, irc-conduit, and irc-client. But these are essentially abandonware right now. If you want to maintain them, get in touch!