Jeremy Singer

Jeremy Singer is a Reader in Programming Language Implementation at the School of Computing Science, University of Glasgow. He specializes in systems software, compilers, garbage collection, and secure runtime environments. His research focuses on advancing memory management techniques, many-core parallelism, and edge computing. Singer holds a PhD from the University of Cambridge (2006) in Static Program Analysis based on Virtual Register Renaming. He is a Senior Member of the ACM and a Fellow of the BCS.

His academic roles include supervising PhD students in areas such as quantum memory management, federated graph neural networks, and secure memory systems. He has led multiple EPSRC-funded projects, including M4Secure (2023-2026), Capable VMs (2020-2024), and FRuIT (2017-2019). He teaches courses like COMPSCI1016 (Computational Thinking) and COMPSCI4021 (Functional Programming in Haskell).

Singer’s research spans compiler design, runtime systems, and security. Notable contributions include work on SSA-based compiler techniques, Raspberry Pi cluster systems, and secure microPython implementations. He has authored over 80 publications and co-developed MOOCs on functional programming and data science.

His awards include Fellow of the BCS and Senior ACM Membership. Current research interests include secure memory management, compiler optimizations for heterogeneous architectures, and edge computing security.