A Beckmann (PhD Münster, Reader)


Dr. Arnold Beckmann
 
Department of Computer Science
College of Science
Swansea University
Singleton Park
Swansea SA2 8PP
UK
 
Office: Faraday Tower, Room 511
Phone: ++44 1792 602370
Fax: +44 1792 295708
a.beckmann@swansea.ac.uk
 
Office hours: Mondays, 16-17

NEW



A. Beckmann and B. Löwe
Acts of the Programme SAS


Alan Turing Centenary
@
Swansea

 
teaching  research  papers and preprints  editing  organisation  affiliations  talks  hobbies 
UPCOMING EVENTS

CiE 2014: Language, Life, Limits

LCC 2014 / ImmermanFest

Workshop on Proofs as Processes

teaching

CS-170 Modelling Computing Systems I (all material can be found on blackboard)

CS-368/CS-M88 Embedded Systems (all material can be found on blackboard)

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 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

Member of Programme Committee for CiE 2013.
Member of Programme Committee for LCC 2012.
Member of Programme Committee for CSL 2012.
Member of Programme Committee for DCM 2012.
 . Member of the Editorial Board of the new journal Computability. The Journal of the Association CiE.
Co-organiser of the Newton Institute programme on Semantics and Syntax: A Legacy of Alan Turing.
Co-chair of workshop Logical Approaches to Barriers in Complexity II which is part of the Newton Institute programme on Semantics and Syntax: A Legacy of Alan Turing.
Member of Turing Centenary Advisory Committee coordinating THE ALAN TURING YEAR.  .
Member of Programme Committee and Organising Committee for CiE 2012.
Member of Programme Committee for LCC 2011.
Member of Programme Committee for CiE 2011.
Member of Programme Committee for CiE 2010.
PC chair of a Workshop on Logical Approaches to Barriers in Computing and Complexity.
Member of Organising Committee for SAT 2009.
Member of Organising Committee for BLC 2009.
Member of Programme Committee for LCC 2009.
Member of Programme Committee for CiE 2009.
Member of Editorial Board of Archive for Mathematical Logic.
Member of board of Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften.
Membership Secretary of the Association Computability in Europe - Link to Application Form to become a member of this society.
Co-organiser of Workshop on Logic, Foundational Research, and Metamathematics (WoLFRaM) II.
Co-chair of Programme Committee of CiE 2008 in Athens, involved in local organisation of CiE 2008.  
Member of CiE steering group which runs CiE conference series.  
Member of Programme Committee of CiE 2007.
Member of Organising Committee of PCC 2007.
Co-organiser (together with Mirna Dzamonja) of logic splinter group at BMC 2007.
Co-chair of Programme Committee of CiE 2006. Chair of local organising committee for this conference.  

former affiliations

Computational Logic group at Institute of Discrete Mathematics and Geometry and Theory and Logic Group, both at Vienna University of Technology.
Institut für Mathematische Logik und Grundlagenforschung of Westfälische Wilhelms-Universität Münster.

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