I am working on a web page on Julia Bowman Robinson.

She worked with a few other mathematicians on Hilbert's tenth problem.