Department of Computing,
University of Bradford
University Information Service: Contents
| Index | Search
The Formal Methods Research Group
The FM group is one of the largest and most active research groups in
the department.
Members
Dr A.N.Clark
Dr A.S.Evans (coordinator)
Dr D.R.W.Holton
Dr L.M.Lai
Prof I.STorsun
Dr P.R.Watson
Research Fields
The group's activities are concerned with basic and applied research into
the specification and verification of hardware and particularly software
systems. Main areas of research are as follows (see individual home pages
for more specific areas of interest:
-
Rigorous software engineering - formalization of object standards
and methods, including the Unified Modeling Language. Key persons: Andy
Evans and Tony Clark
-
Specification and refinement of concurrent and real-time systems
- stochastic process alegebras, production cell controllers and application
of the refinement caclulus and Z to concurrent and real-time systems.
Key persons: all members
-
Modal logics. Key persons: Prof Torsun and Tony Clark
Activities
The group runs its own seminar
series, which attracts speakers from all parts of the U.K. and abroad
- please contact Andy Evans for further details.
The group also runs the Northern
Formal Methods Workshop Series., which is due to be held in Ilkley,
Septembet 1998.
Events
The 2nd
Workshop on Rigorous Object-Oriented Methods is being held in
the department on the 29th May, 1998.
Research Opportunities
We are currently seeking to recruit PhD students to participate in the
further expansion of the group's research. Applications from recent or
prospective graduates (2:1 or better) who wish to contribute to specific
or related areas of the group's formal methods research are welcomed. Please
contact Phil Watson or Andy Evans for further details.
Up to Research
homepage
Publications and Technical Reports