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: 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
Reducing Haskell parallel build times using semaphores
Matthew Pickering, Sam Derbyshire, Adam Gundry
Friday, 04 August 2023
Matthew Pickering, Sam Derbyshire, Adam Gundry
Friday, 04 August 2023
Well-Typed at GHC Contributors' Workshop and ZuriHac 2023
Christine Gundry, Andres Löh, Adam Gundry
Friday, 02 June 2023
Christine Gundry, Andres Löh, Adam Gundry
Friday, 02 June 2023
GHC activities report: February–March 2023
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Finley McIlwaine, Adam Gundry
Thursday, 27 April 2023
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Finley McIlwaine, Adam Gundry
Thursday, 27 April 2023