Skip to content

Dr Patrick Maier

Dr Patrick Maier



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

Functional Programming
Parallel Programming
Domain Specific Languages
Symbolic Computation


Subject area

Software Engineering


Journal articles

Archibald, B., Maier, P., McCreesh, C., Stewart, R., & Trinder, P. (2017). Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, 92-114.

Morton, J.M., Maier, P., & Trinder, P. (2016). JIT-Based cost analysis for dynamic program transformations. Electronic Notes in Theoretical Computer Science, 330, 5-25.

Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S., Loidl, H.-.W., ... Trinder, P. (2016). HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurrency and Computation: Practice and Experience, 28 (13), 3606-3636.

Stewart, R., Maier, P., & Trinder, P. (2016). Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5.

Maier, P., Stewart, R., & Trinder, P.W. (2014). Reliable scalable symbolic computation: The design of SymGridPar2. Computer Languages, Systems & Structures, 40 (1), 19-35.

Conference papers

Archibald, B., Maier, P., Stewart, R., & Trinder, P. (2019). Implementing YewPar: a framework for parallel tree search. In Euro-Par 2019, 26 August 2019 - 30 August 2019 (pp. 184-196). Springer:

Archibald, B., Maier, P., Stewart, R., Trinder, P., & De Beule, J. (2017). Towards Generic Scalable Parallel Combinatorial Search. In PASCO 2017, Kaiserslautern, Germany, 23 July 2017 - 24 July 2017 (pp. 1-10). ACM:

Maier, P., Morton, J.M., & Trinder, P. (2016). JIT costing adaptive skeletons for performance portability. In Proceedings of the 5th International Workshop on Functional High-Performance Computing - FHPC 2016, (pp. 23-30). ACM:

Book chapters

Maier, P., Stewart, R., & Trinder, P. (2014). The HdpH DSLs for scalable reliable computation. In Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14. (pp. 65-76). ACM:

Maier, P., Livesey, D., Loidl, H.-.W., & Trinder, P. (2014). High-Performance Computer Algebra: A Hecke Algebra Case Study. In Euro-Par 2014 Parallel Processing. (pp. 415-426). Springer:

Cancel event

Are you sure you want to cancel your place on Saturday 12 November?