Using Electronic “Books” in a Virtual Learning Environment to Collate Learning Resources and Provide a Narrated Course Journey Perspectives on the Covid-19 Pandemic A High-Level Programming Approach for using FPGAs in HPC using Functional Description, Vector Type-Transformations and Cost-Modelling A Fast and Accurate Cost Model for FPGA Design Space Exploration in HPC Applications Towards Automated Design Space Exploration and Code Generation using Type Transformations