Coronavirus Recovery: advice and latest information
Professor Arnold Beckmann

Professor Arnold Beckmann

Professor, Computer Science

Telephone number

+44 (0) 1792 602370

Email address

Research Links

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

About

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

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