Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme
Pioneer

Ursula Martin

Software And Its Engineering

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
Birth Year
1953 1
Birth Date
1953-08-03 1
Nationality
British 1
Connections

In Field

Formal Methods, Fields
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 Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.