Professor Arnold Beckmann

Professor Arnold Beckmann

Professor, Computer Science

Telephone number

+44 (0) 1792 602370

Email address

Office - 402
Fourth Floor
Computational Foundry
Bay Campus
Available For Postgraduate Supervision


Professor Arnold Beckmann is a member of our Computer Science Department at Swansea University. 


Personal webpage:

Areas Of Expertise

  • Mathematical Logic
  • Theoretical Computer Science
  • Proof theory and proof complexity
  • Bounded arithmetic and propositional proof complexity
  • Implicit computational complexity
  • Reduction systems
  • Intermediate predicate logics