Jeremy Bryans

	Position:	Research Associate
	E-mail:	Jeremy.Bryans ncl.ac.uk
	Telephone:
	Fax:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom
	Office:	Room 1104 , Claremont Tower
	Disclaimer:	Personal webpages

Brief Biography

Jeremy has been a post doctoral research fellow at the School of Computing Science in Newcastle since December 2002. His background is in Theoretical Computer Science, and he has held posts in Stirling and Canterbury. His work in Newcastle is involved with the security of computer-based systems, and he is employed on th DIRC and GOLD projects.

The major strands of his recent research have been: Dynamic coalitions and virtual organisations, Electronic voting systems, Formal models for information security and Formal models for role-based access control.

Before Newcastle, he was a Research Associate within the Computing Science and Mathematics department at Stirling University, working with Savi Maharaj. He was working there on Test Case Extraction from Correctness Proofs. The essential idea of this work was that, given a formal proof of the correctness of an abstract model of some system, we can generate test cases which can be used to verify a concrete implementation of that system.

Between August 2000 and June 2002, He was working with Carron Shankland on the DIET project: Developing Implementation and Extending Theory. This project addressed the symbolic description of Full LOTOS (a process algebra with data), and developed three prototype model checkers, within the CADP, Maude and Ergo frameworks. His work was principally with Maude and CADP.

Prior to that he worked at Canterbury with John Derrick, on Verification of Quality of Service.

Publications

A list of publications by Jeremy Bryans is available.

Research Groups

Jeremy is a member of the [ Dependability ] [ Theoretical Computing Science ] research group(s)

Related Organisations