|
|
teaching research papers and preprints editing organisation affiliations talks hobbies
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)
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. |
 | 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. | ||
|
|
| ||
|
| 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 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. | ||
|
|
| ||
|
|
| ||
|
| 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. | ||
|
|
|
|
| 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. |
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.
