معرفی
Dr. Patrick Maier is a Lecturer in Computing Science at the University of Stirling's Division of Computing Science and Mathematics. His research focuses on parallel computing, including parallel functional programming, symbolic computation, and resource analysis. He has contributed to projects such as AJITPar (2013-2017), HPC-GAP (2009-2013), and MOBIUS (2006-2009). His work spans parallel algorithm frameworks (e.g., YewPar), high-performance computing systems, and formal methods in software verification.
Research interests include parallel functional programming, symbolic computation optimization, temporal logic, and compositional verification. Notable publications cover neuromorphic vision systems, antibiotic dosing optimization, scalable combinatorial search, and fault-tolerant functional computation. Collaborations include work on distributed memory parallel Haskell (HdpH) and formal verification techniques for resource management.
He is affiliated with the Data Science and Intelligent Systems, and Computational Mathematics and Optimisation research groups. His recent work emphasizes reproducible parallel search algorithms and interdisciplinary applications like computational biology and neuromorphic engineering.
