معرفی
Arnold Beckmann is a Professor of Computer Science at Swansea University, affiliated with the Department of Computer Science. His academic background includes obtaining a Dr.rer.nat.habil. degree from the University of Münster, Germany.
His research focuses on foundational areas of theoretical computer science, particularly:
- Computational complexity
- Reverse mathematics
- Proof theory
- Mathematical logic applications
۰مقاله منتشرشده
