Adam Gundry

Adam started his own business in 2002, providing technical services to small businesses, including programming, computer consulting and website development. He has worked on a wide range of projects, from book-keeping software to advanced compilers for functional languages. He is familiar with various programming languages, but is particularly keen on Haskell.

In 2009, he graduated with a first-class master’s degree in mathematics from the University of Bath. In 2013, he completed a PhD in computer science at the University of Strathclyde, on combining Haskell with dependent type theory. As well as developing software for his research, he has contributed to the Glasgow Haskell Compiler and the Agda and Epigram programming languages.

Recent blog posts by Adam Gundry

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry – Thursday, 17 December 2020

GHC activities report: October–November 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering, Andres Löh – Thursday, 03 December 2020

Sponsoring the Haskell Foundation
Duncan Coutts, Adam Gundry, Andres Löh – Friday, 06 November 2020

GHC activities report: August–September 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Andres Löh – Tuesday, 13 October 2020

Working with Hasura to improve GHC tooling
Adam Gundry, Ben Gamari, David Eichmann – Tuesday, 08 September 2020

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry – Tuesday, 17 March 2020

Announcing the optics library
Adam Gundry – Monday, 02 September 2019

Free training sessions at ZuriHac 2019
Christine Gundry, Adam Gundry, Duncan Coutts – Friday, 07 June 2019

Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry – Tuesday, 27 March 2018

Haskell development jobs with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry – Thursday, 11 May 2017

(view all posts by Adam Gundry)