Ursula Hilda Mary Martin  (born 3 August 1953) is a British computer scientist, with research interests in theoretical computer science and formal methods.
Ursula Hilda Mary Martin  (born 3 August 1953) is a distinguished British scholar, with expertise in theoretical computer science and formal methods.