Arnold Beckmann
CS-368/CS-M88 Embedded Systems (all material can be found on blackboard)
CS-170 Modelling Computing Systems I (taught in '11, '12, '13)
CS-106 Discrete Mathematics for Computer Science I (taught in '10)
CS_242 Algorithms (taught in '09, '10)
CSP126 Practicals to Discrete Mathematics for Computer Science II
(taught in '08,'09)
CSP106 Practicals to Discrete Mathematics for Computer Science I
(taught in '08,'09)
CS_125 Logic Programming (taught in '05,'06,'07,'08)
CS-332/CS-M32 Algorithms '09/'10 (taught in '08,'09)
CS_346/CS_M56 Logic, Foundations and Computation
(taught in '07,'08,'09)
CS_316/CS_M16 Logic and Semantics (taught in '06, coordinated in '08)
research interests
My EPSRC funded research project Abstract Measures of Low-Level Computational Complexity
- Proof theory and proof complexity
- Bounded arithmetic and propositional proof complexity
- Implicit computational complexity
- Reduction systems
- Intermediate predicate logics
Most of my research is located within Mathematical Logic and Computational Complexity Theory. The main focus of it is on logical descriptions of computational complexity problems, in particular bounded arithmetic and propositional proof complexity. I have worked on independence results for bounded arithmetic theories and lower bounds for constant depth propositional proof systems. Connected to this are adaptions of ordinal analysis to bounded arithmetic which resulted in dynamic ordinal analysis. Other research fields are complexity of reduction systems, in particular simple typed lambda calculus and Gödel's system T, with connections to implicit computational complexity. Recently I got interested in Intermediate Logics, esp. questions about the number of first order Gödel Logics.
papers and preprints
edited volumes and special issues
 .
|
Based on an original portrait by DJ Rogers, I created a picture mosaic made out of
hundreds of images reflecting research and activities of recent years where
Swansea Computer Scientists have played a key role.
The picture won a runner-up prize in the
2011 SURF Research as Art competition.
|
organisation
former affiliations
selection of recent and forthcoming talks
 |
Invited speaker at workshop Limits of Theorem Proving,
Rom, 25.-27. September 2012.
|
|
|
Invited participant at Kotlarski Ratajczyk Conference,
Bedlewo, Poland, 23.-27. July 2012.
|
|
|
Invited speaker at
Special
Session in Proof Theory at the
Logic Colloquium 2012,
Manchester, 12th-18th July 2012.
|
|
|
Invited participant at MFO workshop
Mathematical Logic: Proof Theory, Constructive Mathematics,
Oberwolfach, Germany, 6.-12. November 2011.
|
|
|
Invited participant at Proof Complexity workshop at
Banff International Research Station for
Mathematical Innovation and Discovery (BIRS),
Canada, October 2011.
|
|
|
Invited speaker
at Logic and Analysis Seminar at University of Gent, Belgium,
August 2011.
|
|
|
Invited Speaker at
Multi-dimension Seminar,
JAIST, Japan, August 2011.
|
|
|
Invited talk at
Infinity Conference
at Centre de Recerca Matemātica. Facultat de
Cičncies. UAB. Bellaterra (Barcelona), Spain, July 2011.
|
|
|
Invited participant at
Infinity
Project at Centre de Recerca Matemātica. Facultat de
Cičncies. UAB. Bellaterra (Barcelona), Spain, February 2011.
|
|
|
Invited participant at Workshop
Barriers in computational complexity
in Princeton, NJ, USA, 25-29 August 2009.
This will be part of the activities of the
Intractability Center.
|
|
|
Invited Speaker at
Leeds Symposium on Proof Theory and Constructivism
in Leeds, UK, 3-16 July 2009.
|
|
|
Invited Speaker at
16th Workshop on Logic, Language, Information and Computation
in Tokyo, Japan, 21-24 June 2009.
|
|
|
Invited Speaker at
Kobe Logic Seminar
Japan, 18 June 2009.
|
|
|
Invited Speaker at
Set Theory and its Neighbours: Set Theory, Games & Arithmetic
in Bristol, UK, 19 November 2008.
|
|
|
Conference
Visions of Computer Science
at Imperial College London, 22-24 September 2008.
Talk: On the complexity of parity games.
|
|
|
Invited speaker at the PohlersFest
in Münster, Germany, 18 July 2008.
See
here for a list of contributions to the Festschrift "Ways of Proof Theory".
|
|
|
Invited speaker at Workshop on proof theory in Bern, Switzerland,
9-11 July 2008.
|
|
|
Speaker at LICS 2008 in Pittsburgh, Pennsylvania, June 2008.
|
|
|
Invited speaker at 27th Weak Arithmetics Days in Athens, Greece,
June 2008.
|
|
|
Participant at MFO workshop
Mathematical Logic: Proof Theory, Constructive Mathematics,
Oberwolfach, Germany, 6.-12. April 2008.
|
|
|
Workshop on proof theory in Munich, Germany,
4/5 April 2008.
|
hobbies
My greatest hobby is playing trombone.
I have been a founding member
of the Bläserkreis St. Marien
(photo)
in my birth-town Lünen,
and I am still playing with them if place and time give me
a chance to do so.
During my studies in Münster I played in several bands, most
importantly with
Swingin' Affair Big Band and with
Mad, Bad & Fabulous.
In Oxford I joined OUJO2;
in San Diego UCSD Jazz Ensemble, conducted by the late
Jimmy Cheatham.
In Vienna I played bass trombone at Vienna West Side
Orchestra (formerly known as Maurer Big Band)
and at
Vienna Bigband Project .
In Swansea I have played
with City of Swansea Concert
Band, and currently am a member of STEVE PRICE BIG BAND.
a.beckmann@swansea.ac.uk
Last modified: Wed Nov 25 11:07:46 GMT 2009
