A portrait photo of Michael

A portrait photo of Michael

Michael B. Gale

Software Engineer with a passion for teaching, open-source, and all things to do with programming languages.

About

I am a Software Engineer at GitHub, working on CodeQL. Previously I worked at Tweag, where I consulted for Hachi Security and Juspay. I like open-source, teaching, and all things to do with programming languages!

My interests focus around all aspects of programming languages, including their specification, implementation, and tooling. I am particularly interested in languages with expressive type systems and those which solve problems that larger and evolving software projects face, such as modularity and changing dependencies. To this end, the language I enjoy working with the most is Haskell, but I have experience with a vast selection of languages across different paradigms. I am also interested in applying advances in programming languages to other fields, both within and outside of Computer Science.

Open Source

Allows you to add rate limiting to your web applications; also available specifically for Servant.

For building SAML2 Service Providers in Haskell.

Implements various logger backends that can write to Logstash.

Lets you wait for networked services to become available.

A client for Moss, which is a code similarity checking tool.

Provides Haskell bindings for the C14N implementation (XML normalisation) in libxml2.

time-units-types

A small library for representing time units at the type-level.

A template for when you are building a Hindley Milner derived language and want a starting point.

An experimental library I built while studying for a PhD, which implements an object system in Haskell.

Research

Publications

Keating F., Gale, M. B., This is Driving Me Loopy: Efficient loops in Arrowized Functional Reactive Programs, Haskell Symposium 2023.

Keating F., Gale, M. B., Graded Monads and Type-Level Programming for Dependence Analysis, Haskell Symposium 2021.

Bailey T., Gale, M. B., Chesskell: Modelling a Two-Player Game at the Type Level, Haskell Symposium 2021.

Barnes K. M., Gale, M. B., Meta-Genetic Programming for Static Quantum Circuits, GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference Companion.

Szamozvancev D., Gale, M. B., Well-Typed Music Does Not Sound Wrong (Experience Report), Haskell Symposium 2017.

Greensmith, J., Gale, M. B., The functional dendritic cell algorithm: a formal specification with Haskell, IEEE Congress on Evolutionary Computation (CEC) 2017.

Committee memberships

Programme Committee, Haskell'22

Programme Committee, FARM'21

Artifact Evaluation Committee, ICFP'18

Contact

I am happy to be contacted by email at for questions or comments about my open-source projects, teaching work, or anything else related to the content of this website.

If you would like me to give a guest lecture as part of a university course that you are teaching, I would be very happy to hear from you as well.

Please do not send me unsolicited emails about job opportunities.