About Sheila Greibach
Sheila Adele Greibach (born 6 October 1939 in New York City) is an American researcher in formal languages in computing, automata, compiler theory and computer science. She is an Emeritus Professor of Computer Science at the University of California, Los Angeles, and notable work include working with Seymour Ginsburg and Michael A. Harrison in context-sensitive parsing using the stack automaton model. Besides establishing the normal form (Greibach normal form) for context-free grammars, in 1965, she also investigated properties of W-grammars, pushdown automata, and decidability problems. == Early career == Greibach earned an A.B. degree (summa cum laude) in Linguistics and Applied Mathematics from Radcliffe College in 1960, and two years after achieved an A.M. degree. In 1963, she was awarded a PhD at Harvard University, advised by Anthony Oettinger with a PhD thesis entitled "Inverses of Phrase Structure Generators". She continued to work at Harvard at the Division of Engineering and Applied Physics until 1969, when she moved to UCLA, where she has been a professor until the present (as of March 2014). Her areas of interest and research include Theoretical computer science, Computational complexity, Program schemes and semantics, Formal language, Automata, and Computability. == Work and contributions == Among her students were Ronald V. Book and Michael J. Fischer. The following list indicates some of her work. The top portion of the list is from the ACM Digital Library and the remainder from the FOCS Bibliography by David M. Jones.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.