Swansea University
Computer Science

Photo of Andy Lawrence

Contact:
t: (+44) (0)1792 205678 ext. 4534
e: csal(a t)swansea(dot)ac(dot)uk

Andy Lawrence
Computer Science
Swansea University
Swansea
SA2 8PP
UK

Andy Lawrence, BSc MRes

PhD Student

I am currently a PhD student under Monika Seisenberger. My academic interests are:

Minlog Repository

I am in the process of constructing the Swansea Minlog Repository.It contains many practical examples and case studies for the interactive theorem prover Minlog. The Minlog System can be obtained here.

Journal Publications

Conference Articles

MRes Thesis

Talks

Teaching Duties (11/12)

Teaching Assistant

Teaching Duties (10/11)

Teaching Assistant
Marking

Teaching Duties (09/10)

Teaching Assistant
E-mail page maintainer