Julia B Robinson worked on computability, decision problems and non-standard models of arithmetic.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Robinson_Julia/