Kernighan, Trudy (Career)