I had never heard of her but her wikipedia background seems to be quite 'techie'. BSc in Symbolic systems, MSc in Computer Science, first female engineer hired at Google.