Dr. Jane Rudall

Dr. Jane Rudall

Lecturer & Undergraduate Admissions Tutor

School of Informatics

University of Wales, Bangor

Dean Street

Bangor LL57 1UT

United Kingdom

Tel: +44 1248 382834

Fax: +44 1248 361429

jane@informatics.bangor.ac.uk

Teaching

Modules I currently teach or have taught in the past:

· Formal Methods (Z and SPIN)

· Logic

· Databases

o Introduction to Databases

o DBMSs

· Compilers

· Java

Research

Research interests include:

• The application of formal methods in industry
• Z
• Object-Z
• Databases

Personal

My life so far …. about me

Some favourite sites:

• amusing proof that the English language is not precise....  ambiguous english examples
• mountain Biking:
• The Marin Trail near Betws-y-Coed
• mountain Hiking:
• Snowdon Horseshoe
• Tryfan
• Ogwen Rescue Team -take a look at the 'Callouts' section