Monika Seisenberger
PhD Munich, Senior Lecturer at Swansea University
Programme Director Computer Science
Research:
Program extraction; Modelling, Specification & Verification;
Verification of Railway Control Systems; Interactive Theorem Proving; Formal methods in Security and Cyberterrorism;
Logic & Proof theory, well- and better quasiorderings.
I am a member of Swansea's Theoretical Computer Science group and of the
Swansea Railway Verification
Group. I co-organized the
Proof, Complexity, Verification (PCV) Research Seminar (from 2006-2013) and 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.
Research Projects:
- Correctness by Construction, CORCON,
FP7 Marie Curie International Research Project, PIRSES-GA-2013-612638, Jan 2014- Dec 2017.
- Computable Analysis, COMPUTAL, FP7 Marie Curie
International Research Project, PIRSES-GA-2011-294962, Febr 2012- Jan 2016.
PhD Students:
- Andrew Lawrence (Program Extraction, Verification of Railway Control Systems)
- Alison Jones (Proof theoretic methods in Natural Language Processing)
- Sulaiman Al-Shekaili (Analyzing Organizational Networks, Cyberterrorism)
Conferences and workshops I am/was involved in:
- Well-quasiorderings in Computer Science, Dagstuhl seminar, 17-22 Jan 2016 (co-organizer)
- Well-quasiorderings: From Theory to Applications, Minisymposium at DMV 2015, 21-25 Sept 2015 (co-organizer)
- Continuity, Computatiblity, Constructivity, CCC2015, Munich/Kochel, 14-18 Sept 2015 (co-organizer)
- CALCO 2015 (PC member)
- Continuity, Computability, Constructivity, CCC2014, Ljubljana, 8-13
September 2014 (PC member).
- Classical Logic and
Computation 2014, Vienna, 13 July 2014 (PC member)
- Correctness by Construction,
CORCON 2014
Workshop, Genua, 24-27 March 2014 (Organization Committee Member)
- Coalgebraic Methods in Computer
Science, CMCS 2014 Grenoble, 5-6 April 2014 (PC member)
- CCC2013,
26-30 June 2013, Swansea/Gregynog, Wales (PC member, Co-organizer)
- CALCO Early Ideas
2013, Warsaw (PC chair)
- CALCO 2013, Warsaw (PC member)
-
19th Wessex Theory Seminar Meeting, 24 January 2013, Swansea (Organizer)
- Domains X Workshop 2011,
5-7 September 2011, Swansea (Co-organizer)
- CALCO Young Researchers Workshop, CALCO-jnr 2011,
29 August 2011, Winchester (PC chair)
- Program Extraction
and Constructive proofs, Workshop in honor of Helmut Schwichtenberg,
21-22 August 2010, Brno, Czech Republic (Co-organizer)
- BCSWomen Lovelace Colloquium
2010 8 April 2010, Cardiff (PC member)
-
4th Wessex Theory Seminar Meeting, 29 October 2009, Swansea (Organizer)
-
British Logic Colloquium 2009, 3-5 September 2009, Swansea (Co-organizer)
-
CALCO Young Researchers Workshop, CALCO-jnr 2009,
6 September 2009, Udine, Italy (PC member)
-
3rd Wessex Theory Seminar Meeting, 3 March 2009, Bath, and 4 March 2009,
Swansea (Co-organizer)
-
Proof, Computation, Complexity, PCC 2008, 8-9 August 2008, Oslo (PC member)
-
Formalising Mathematics and Extracting Algorithms from proofs,
CiE2008, 15-20 June 2008, Athens (Special session organizer)
-
Russell'08, Proof Theory meets Type Theory,15-16 March 2008, Swansea (Co-organizer)
-
CALCO Young Researchers Workshop, CALCO-jnr 2007,
20 August 2007, Bergen (PC member)
-
Proof, Computation, Complexity, PCC 2007, 13-14 April 2007, Swansea (Co-organizer)
Proof theorists on the beach,
further photographs from PCC 2007.
-
Computability in Europe, CiE 2006, 30 June - 5 July 2006, Swansea (Co-organizer)
conference photo.
-
CALCO Young Researchers Workshop, CALCO-jnr 2005, 2 September 2005,
Swansea, (PC member, Co-organizer)
Day0,
CALCO-jnr talks,
beach party,
excursion,
all photographs (by Will Harwood).
Industrial Collaboration: