University of York
Department of Computer Science

 Software and Systems Modelling Team


 The mission of the Software and System Modelling Team (SOSYM) is to carry out high-quality, industrially applicable and internationally known research in the   development and application of specification and modelling languages. It has members from a number of research groups at York.

 Topics of interest to researchers in the team include the following:

 The team aims to foster collaborative work, both within the Department at York, and with other members of academia and industry.

 Current Members


 The team is run by Richard Paige (paige@cs.york.ac.uk).