Newcastle University

Research Areas

Research in computer dependability was pioneered at Newcastle.

School of Computing Science

The School of Computing Science has an international reputation for its work in the area. Cliff Jones strengthens the formal methods group.

Staff

These are the staff currently working on DIRC. The name in bold is the Principal Investigator.

Budi Arief ( School of Computing Science )

Jeremy Bryans ( School of Computing Science )

Joey Coleman ( School of Computing Science )

Martin Ellis ( School of Computing Science )

Cristina Gacek ( School of Computing Science )

Carl Gamble ( School of Computing Science )

David Greathead ( School of Computing Science )

Michael Harrison ( School of Computing Science )

Cliff Jones ( School of Computing Science)

Tony Lawrie ( School of Computing Science )

Thea Peacock ( School of Computing Science )

Brian Randell ( School of Computing Science )

Nigel Robinson ( School of Computing Science )

Peter Ryan ( School of Computing Science )

Claire Smith ( School of Computing Science )

Jon Warwick ( School of Computing Science )

And these staff have now left.

Denis Besnard ( Research Associate )

Alessandra Devito-Cunha ( Research Associate )

Carles Sala-Oliveras ( MPhil Student )

Will Stephenson ( PhD Student )

The Informatics Research Institute at Newcastle University brings together academics from the full spectrum of the engineering, mathematical, physical, life and social sciences, and by doing so initiates more interdisciplinary projects.