birth_place fields workplaces name residence article_title citizenship alma_mater
london , england formal methods and dependable systems manchester university john rushby redwood shores , california john rushby
 british newcastle university
john rushby

john rushby is a british computer scientist now based in the united states and working for sri international .
he previously taught and did research for manchester university and later newcastle university .
