Dame Ursula Hilda Mary Martin (born 3 August 1953) is a British computer scientist whose research interests are theoretical computer science and formal methods. She is also known for her work encouraging women in computing and mathematics. She studied at the University of Cambridge and took her PhD at the University of Warwick in 1979, with a thesis on automorphisms of finitely generated nilpotent groups. Since 2019 she has been a professor in the School of Informatics at the University of Edinburgh. From 2014 to 2018 she was a professor of computer science at the University of Oxford, holding an EPSRC Established Career Fellowship, and before that she held a chair at Queen Mary, University of London, where she was Vice-Principal of Science and Engineering from 2005 to 2009. She received a Suffrage Science award in 2018.
Facts
Connections
In Field
Source Ursula Martin (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Ursula Martin (Wikipedia)Lead [nationality]Quote, Lead [nationality]
is a British computer scientist, with research interests in theoretical computer science and formal methods
Sources
1. Ursula Martin (Wikipedia)
Lead, birth date
(born 3 August 1953)
Lead [nationality]
is a British computer scientist, with research interests in theoretical computer science and formal methods
In Group: Formal Methods and Verification, Lead
with research interests in theoretical computer science and formal methods
In Field: Formal Methods, Lead
with research interests in theoretical computer science and formal methods
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.