Julia Bowman
Julia B Robinson worked on computability, decision problems and non-standard models of arithmetic.
Find out more at: http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Robinson_Julia.html