
Research:
Concurrency theory,
particularly verification problems for infinite state automata;
modal and temporal logic.
Courses:
CS_116:
Modelling Computing Systems
CS_332:
Designing Algorithms
CS_M23:
Formal Methods for System Reliability
Contact:
tel:
(+44) (0)1792 295 160
fax:
(+44) (0)1792 295 708
email:
F.G.Moller@swansea.ac.uk
post:

Department of Computer Science,
Swansea University,
Singleton Park,
Swansea SA2 8PP,
UK 
