Academic Background: B.A., Radcliffe College; Ph.D. in Computer Science, Harvard University.
Research Interests: Formal languages, automata theory, and computational complexity.
Appointments: Professor of Computer Science, UCLA.
Awards: ACM Distinguished Service Award.
Publications: Developed Greibach Normal Form; papers in Journal of the ACM.
Additional Contributions: Mentored numerous Ph.D. students in theoretical computer science.