| Based in: | Stirling, UK |
| E-mail: | adam@well-typed.com |
| Social media: |
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: February–March 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Adam Gundry, David Eichmann, Alfredo Di Napoli, Douglas Wilson – Wednesday, 14 April 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Adam Gundry, David Eichmann, Alfredo Di Napoli, Douglas Wilson – Wednesday, 14 April 2021
GHC activities report: December–January 2020/2021
Ben Gamari, Andreas Klebinger, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering – Wednesday, 10 February 2021
Ben Gamari, Andreas Klebinger, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering – Wednesday, 10 February 2021
Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry – Thursday, 17 December 2020
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
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering, Andres Löh – Thursday, 03 December 2020
GHC activities report: August–September 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Andres Löh – Tuesday, 13 October 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
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
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry – Tuesday, 17 March 2020
Free training sessions at ZuriHac 2019
Christine Gundry, Adam Gundry, Duncan Coutts – Friday, 07 June 2019
Christine Gundry, Adam Gundry, Duncan Coutts – Friday, 07 June 2019