Patrick Maier holds a PhD from the Max-Planck Institute for Computer Science, Saarbruecken, Germany. Prior to joining Sheffield Hallam as a Lecturer, he has worked as a research associate/fellow at the University of Edinburgh, at Heriot Watt University, and at the University of Glasgow.
His research is concerned with designing programming languages and systems for large-scale parallel computation, specifically for problems with irregular parallelism. His research interests also include fault tolerance, programming language semantics, and parallel computational algebra.
Specialist areas of interest
Domain Specific Languages
ARCHIBALD, Blair, MAIER, Patrick, STEWART, Robert, TRINDER, Phil and DE BEULE, Jan (2017). Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017 : Proceedings of the International Workshop on Parallel Symbolic Computation. ACM, 1-10.
MORTON, John Magnus, MAIER, Patrick and TRINDER, Phil (2016). JIT-Based cost analysis for dynamic program transformations. Electronic Notes in Theoretical Computer Science, 330, 5-25.
MAIER, Patrick, MORTON, John Magnus and TRINDER, Phil (2016). JIT costing adaptive skeletons for performance portability. In: Proceedings of the 5th International Workshop on Functional High-Performance Computing - FHPC 2016. ACM, 23-30.
BEHRENDS, Reimer, HAMMOND, Kevin, JANJIC, Vladimir, KONOVALOV, Alexander, LINTON, Steve, LOIDL, Hans-Wolfgang, MAIER, Patrick and TRINDER, Phil (2016). HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurrency and Computation: Practice and Experience, 28 (13), 3606-3636.
STEWART, Robert, MAIER, Patrick and TRINDER, Phil (2016). Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5.
MAIER, Patrick, LIVESEY, Daria, LOIDL, Hans-Wolfgang and TRINDER, Phil (2014). High-Performance Computer Algebra: A Hecke Algebra Case Study. In: Euro-Par 2014 Parallel Processing. Springer, 415-426.
MAIER, Patrick, STEWART, R. and TRINDER, P.W. (2014). Reliable scalable symbolic computation: The design of SymGridPar2. Computer Languages, Systems & Structures, 40 (1), 19-35.
Share this page
Are you sure you want to cancel your place on Saturday 12 November?