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
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
GHC activities report: August–September 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Jaro Reinders, Matthew Pickering, Sam Derbyshire, Zubin Duggal
Thursday, 12 October 2023
Adam Gundry, Andreas Klebinger, Ben Gamari, Finley McIlwaine, Jaro Reinders, Matthew Pickering, Sam Derbyshire, Zubin Duggal
Thursday, 12 October 2023
ZuriHac 2023 and GHC Contributors' Workshop: Summary and Materials
Christine Gundry, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts, Sam Derbyshire, Zubin Duggal
Tuesday, 19 September 2023
Christine Gundry, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts, Sam Derbyshire, Zubin Duggal
Tuesday, 19 September 2023