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 renowned British expert in the field of computer science, specializing in theoretical computer science and formal methods.