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
Explicit Level Imports awarded best paper at TFP 2025
Matthew Pickering, Rodrigo Mesquita, Adam Gundry
Wednesday, 30 April 2025
Matthew Pickering, Rodrigo Mesquita, Adam Gundry
Wednesday, 30 April 2025
GHC activities report: June–August 2024
Adam Gundry, Andreas Klebinger, Ben Gamari, Matthew Pickering, Mikolaj Konarski, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Friday, 30 August 2024
Adam Gundry, Andreas Klebinger, Ben Gamari, Matthew Pickering, Mikolaj Konarski, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Friday, 30 August 2024
Haskell development job with Well-Typed
Edsko de Vries, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts
Tuesday, 09 April 2024
Edsko de Vries, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts
Tuesday, 09 April 2024
GHC activities report: October–November 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Matthew Pickering, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Thursday, 21 December 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Matthew Pickering, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Thursday, 21 December 2023