From: dc@dcs.warwick.ac.uk (Douglas Chester)
Newsgroups: misc.jobs.resumes
Subject: Finishing PhD in 'Formal Specification of Real-Time Systems', seeking postdoc/lecturing work preferably
Date: 29 Sep 92 18:02:19 GMT
Organization: Department of Computer Science, Warwick University, England


                     CURRICULUM VITAE
                     ================

                     DOUGLAS CHESTER
                     Department of Computer Science
                     University of Warwick
                     Coventry CV4 7AL
                     +44 203 523523 ext 2350
                     dc@dcs.warwick.ac.uk

                     DATE OF BIRTH:  23 January 1968
                     MARITAL STATUS: Single


EDUCATION
=========

    DATE         SCHOOL, COLLEGE, etc.   QUALIFICATIONS, ACHIEVEMENTS, etc.
------------------------------------------------------------------------------
  1979-1984      William Ellis School    10 GCE `O' LEVELS: Mathematics,
                                         Physics, Chemistry, English Language,
                                         English Literature, German, French,
                                         Spanish, Latin, History.
------------------------------------------------------------------------------
  1984-1986      Parliament Hill and     5 GCE `A' LEVELS: Mathematics,
                 William Ellis Sixth     Further Mathematics, Physics,
                 Form                    Chemistry, German.
------------------------------------------------------------------------------
  1986-1989      University of Warwick   BSc(Hons) Applied Mathematics
                                         CLASS: Upper Second
------------------------------------------------------------------------------
  1989-1992      University of Warwick   PhD Computer Science, due for
                                         completion between Christmas 1992 and
                                         Easter 1993:
                                         FORMAL SPECIFICATION OF REAL-TIME
                                         SYSTEMS
==============================================================================

AWARDS
======

    DATE         SPONSORING AUTHORITY    TYPE OF STUDENTSHIP AWARD
------------------------------------------------------------------------------
  1986-1989      Ministry of Defence:    Undergraduate Student Sponsorship
                 Royal Signals and Radar My Final Year Project addressed
                 Establishment           SMALLTALK-80 AND RAPID PROTOTYPING.
------------------------------------------------------------------------------
  1989-1992      Science & Engineering   SERC Doctoral CASE Award in tandem
                 Research Council and    with RSRE:
                 Ministry of Defence:    My Doctoral thesis extends Z with
                 Royal Signals and Radar constructs for communicatintg systems
                 Establishment           and concurrency, developing rule
                                         formulation for refining Z
                                         specifications.
==============================================================================

RELEVANT WORK EXPERIENCE
========================

    DATE         POSITION HELD           DUTIES AND RESPONSIBILITIES
------------------------------------------------------------------------------
  1987-1988      Civil Service           Researcher: Formal Methods
  Vacation      Sponsored Student        Specification of translator from Z
    Work           Scientist             theorems to MALPAS threat conditions.
                      RSRE
------------------------------------------------------------------------------
  1989-1992      Tutorial Assistant      Tutorials and Student Supervisions in
                 University of Warwick   Computer Science and Mathematics.
                                         (PASCAL Programming and Logic)
==============================================================================

OTHER RESEARCH INTERESTS
========================

Temporal Logic, Process Algebras, Semantics of Foraml Systems and Concurrency.

Recently submitted paper EXTENDED Z to Z User Meeting.
Newsgroups: misc.jobs.resumes