“The proportion of women in computer science PhD programs is roughly the same as in undergraduate programs, indicating no significant "leak in the pipeline" at the graduate level.”