@tante

Ada Lovelaces contribution is massively overrated: see
https://en.wikipedia.org/wiki/Ada_Lovelace#Controversy_over_contribution

How about Margaret Hamilton?