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.