|Affiliation||University of Glasgow|
|Department||School of Computing Science|
|Group||Formal Analysis, Theory and Algorithms|
|Research area code||(I1) Computer science|
|Fellowship Inauguration Year||2017|
My work is based on the application of high performance computing (HPC) for symbolic domains rather than the common floating-point domains. My current focus is on solving large scale combinatorial search problems from the field of computational algebra (specifically finite geometry).
As a Computer Scientist my main interest comes from studying what parallelism/programming techniques best suit these domains and applying engineering effort to test these hypotheses. I currently maintain and extend a task parallelism framework for the Haskell programming language known as HdpH which is designed with interfaces to computational algebra systems in mind (specifically GAP5).
|Title||Start date||End date|
|Collaborations Workshop 2020||Tuesday, 31 March 2020||Friday, 02 April 2021|
|The Future of Computational Science||Tuesday, 16 January 2018|
|Promoting Sustainable Software Practice||Tuesday, 17 October 2017|
|Reproducible Environments With Nix||Thursday, 05 October 2017|
|Make’ing Your Dependencies Explicit||Thursday, 20 July 2017|