Monika Seisenberger, Swansea University, UK

Picture by Will Harwood
at CALCO-jnr

Contact:
t: (+44) (0)1792 602131
f: (+44) (0)1792 295708
e: m.seisenberger@swansea.ac.uk

Room 208
Department of Computer Science
Swansea University
Swansea
SA2 8PP
UK

Monika Seisenberger

PhD Munich, Lecturer at Swansea University

Research:

Formal methods: Program extraction, interactive theorem proving, specification and verification. Logic: proof theory, infinitary combinatorics, in particular well- and better quasiorderings.

I am a member of Swansea's theory group Logic and Computation and I coordinate the Proof, Complexity, Verification (PCV) Research Seminar.

I am the Swansea site leader in the Wessex Theory Seminar, a Joint Seminar Series of Mathematics and Computer Science Departments, and Industrial Collaborators, broadly in the Wessex region.

I am/was PC member or co-organiser of the following conferences or workshops/meetings:

Program Extraction and Constructive proofs, Workshop in honor of Helmut Schwichtenberg, 21-22 August 2010.
BCSWomen Lovelace Colloquium 2010 Cardiff, 8 April 2010.
4th Wessex Theory Seminar Meeting, Swansea, 29 October 2009.
British Logic Colloquium 2009, Swansea, 3-5 September 2009.
CALCO Young Researchers Workshop, CALCO-jnr 2009, Udine, Italy, 6 September 2009.
3rd Wessex Theory Seminar Meeting, Bath (3 March) and Swansea (4 March 2009).
Proof, Computation, Complexity, PCC 2008, Oslo, 8-9 August 2008.
Formalising Mathematics and Extracting Algorithms from proofs, special session at CiE2008, Athens, 15-20 June 2008.
Russell'08, Proof Theory meets Type Theory,Swansea, 15-16 March 2008.
CALCO Young Researchers Workshop, CALCO-jnr 2007, Bergen, 20 August 2007.
Proof, Computation, Complexity, PCC 2007, Swansea, 13-14 April 2007, Proof theorists on the beach, further photographs from PCC 2007.
Computability in Europe, CiE 2006, Swansea, 30 June - 5 July 2006, conference photo.
CALCO Young Researchers Workshop, CALCO-jnr 2005, Swansea, 2 September 2005, Day0, CALCO-jnr talks, beach party, excursion, all photographs (by Will Harwood).

Teaching:

CS-061 / CS-161 Introduction to Computing I, (2005-present)
CS-071 / CS-171 Introduction to Computing II, (2006-present)
CS-213 System Specification, (2004-present)
CS-318 Cryptography and IT-Security/ CS-M18 IT-Security: Theory and Practice (2005-2009)
CS-313 High Integrity Systems/ CS-M13 Critical Systems (2006-2008)
CS-332 Designing Algorithms/ CS-M32 Algorithm Design and Analysis (2004-2008)
CS-151 Introduction to Computing (2004/2005)
CS-226 Computability theory (2004/2005)

Please find more detailed information, course material, and grades on Blackboard.

Administration:

Examination officer (examination papers),
Disability/Special Needs officer for the department of Computer Science, Disability link tutor for the School of Physical Sciences
Member of the Special Circumstances Committee and the Learning and Teaching Committee,
Head of Foundation Year,
Organiser of Student Enrolment,

Publications, PhD-thesis, Edited Proceedings:

U. Berger, M. Seisenberger, Proofs, Programs, Processes, CiE 2010, to appear in LNCS, 2010.
U. Berger, M. Seisenberger, Program Extraction via Typed Realisability for Induction and Coinduction, In: Ways of Proof Theory, Ralf Schindler, editor, to appear in Ontos-Verlag, Frankfurt, 2010.
M. Haveraaen, M. Lenisa, J. Power, M.Seisenberger,editors, CALCO Young Researchers Workshop, CALCO-jnr 2009, Selected papers, Bergen, August 2007, University of Bergen, Report no 5-2010, Universita di Udine, 2010.
M. Seisenberger, Programs from Proofs using Classical Dependent Choice. Annals of Pure and Applied Logic, Vol 153/1-3, pp 97-110, 2008.
M. Haveraaen, J. Power, M. Seisenberger, editors, CALCO Young Researchers Workshop, CALCO-jnr 2007, Selected papers, Bergen, August 2007, University of Bergen, UIB report no 2008-367, 2008.
S. Fincher, D.Barnes,P. Bibby, J. Bown, V. Bush, P. Campbell, Q. Cutts, S. Jamieson, T. Jenkins, M. Jones, D. Kazakov, T. Lancaster, M. Ratcliffe, M. Seisenberger, D. Shinner-Kennedy, C. Wagstaff, L. White, and C. Whyley, Some Good Ideas from the Disciplinary Commons. In: Proceedings of the 7th Annual Conference of the ICS HE Academy, Dublin, August 2006, pages 153--158.
Q. Cutts, S. Fincher, D. Barnes, P. Bibby, J. Bown, V. Bush, P. Campbell, S. Jamieson, T. Jenkins, M. Jones, D. Kazakov, T. Lancaster, M. Ratcliffe, M. Seisenberger, D. Shinner-Kennedy, C. Wagstaff, L. White, and C. Whyley, Laboratory Exams in First Programming Courses. In: Proceedings of 7th Annual Conference of the ICS HE Academy, Dublin, August 2006, pages 224-229.
P. Mosses, J. Power, M. Seisenberger, editors, CALCO-jnr 2005,CALCO Young Researchers Workshop, Swansea, September 2005, Selected papers, University of Wales Swansea Computer Science Report Series CSR 18-2005, 2005
U. Berger, M. Seisenberger, Applications of inductive definitions and choice principles to program synthesis, In: Laura Crosilla and Peter Schuster, editors, From Sets and Types to Topology and Analysis Towards practicable foundations for constructive mathematics, Oxford Logic Guides, Volume 48, Oxford University Press, 137--148, 2005.
M. Seisenberger, On the Constructive Content of Proofs, PhD thesis, Ludwig-Maximilians-Universität München, Fakultät für Mathematik, Informatik und Statistik, 2003. Abstract and bib reference, Electronical Publication, LMU.
M. Seisenberger, An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma. In: P. Callaghan, Z. Luo, J. McKinna, R. Pollack, editors, Types for Proofs and Programs (TYPES'00), LNCS 2277, 2001. ( pdf )
U. Berger, H. Schwichtenberg, and M. Seisenberger, The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction, Journal of Automated Reasoning 26, Kluwer Academic Publishers, Dordrecht, 2001.
M. Seisenberger, Kruskal's tree theorem in a constructive theory of inductive definitions In: P. Schuster, U. Berger, H. Osswald, editors, Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum. Proceedings of the Symposion in San Servolo/Venice, Italy, May 17-22, 1999. Synthese Library 306, Kluwer Academic Publishers, Dordrecht, 2001.
H. Benl, U. Berger, H. Schwichtenberg, M. Seisenberger and W. Zuber, Proof theory at work: Program development in the Minlog system In: W. Bibel and P.H. Schmitt, editors, Automated Deduction - A Basis for Applications II, Kluwer 1998.

Industrial Collaboration:

Invensys Rail, Chippenham, UK,
Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.

Some pics:

A picture from the boat trip at CALCO/CALCO-jnr 2007 (by Johan Glimming)