Rate My Professor Arnold Beckmann

Professor Arnold Beckmann holds the position of Professor of Computer Science at Swansea University, having previously been affiliated with the University of Wales, Swansea. He obtained his PhD and Habilitation in Mathematics from the University of Münster in Germany. Beckmann served as Head of Department of Computer Science from 2014 to 2021. He conducted postdoctoral research at the University of Oxford, University of California in San Diego, and Vienna University of Technology, supported by prestigious Leopoldina and Marie-Curie fellowships. In his current roles, he co-leads the Zienkiewicz Institute for Modelling, Data and AI and the Grenoble-Swansea Centre for AI, and participates in the Wales Data Nation Accelerator. As a founding member of the Swansea Blockchain Lab, he contributes to projects applying blockchain to real-world challenges. Additionally, he is a co-investigator on the EPSRC-funded SUSTAIN Manufacturing Hub, co-leading work packages on hybrid AI applications in steel manufacturing supply chains.

Beckmann's research focuses on the fundamentals of computer science rooted in mathematical logic and theoretical computer science. He applies this expertise to areas such as the foundations of digital ledger technologies and hybrid AI, particularly semantic technologies for manufacturing processes. He serves as associate editor for three mathematical logic journals and as managing editor of the Perspectives in Logic book series. Beckmann is involved in boards of several scientific associations and is leading the formation of The Proof Society. His scholarly output includes editing "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" (Springer, 2023), "On proving consistency of equational theories in bounded arithmetic" (Journal of Symbolic Logic, 2025), "On Complexity of Confluence and Church-Rosser Proofs" (MFCS 2024), "Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control" (TYPES 2021), and "A core reference ontology for steelmaking process knowledge modelling and information management" (Computers in Industry, 2021). His research has secured funding from EPSRC, the Royal Society, German DFG, Austrian FWF, and EU Marie-Curie programmes. Beckmann teaches courses on Logic for Computer Science and Blockchain Cryptocurrencies and Smart Contracts, and has supervised PhD theses on hybrid AI for supply chains, semantic technologies in pharmaceuticals, smart contract verification, and knowledge-driven AI in steelmaking.