Role Model Sunday: Sheila Greibach

This, err, last week’s role model was pointed out to me – and about 180 other students – by our teacher in Theoretical Informatics and Logic (I might even write about her at some point): Sheila Greibach, researcher in formal languages, compiler theory and computer science.

Sheila Greibach

In the context of the TIL lecture, Sheila Greibach was mentioned for establishing the normal form (aka Greibach normal form) for context-free grammars.  She also works on properties of pushdown automata, and decidability problems.

After earning her A.B. and A.M. degrees at Radcliffe University in 1960 and 1962, she achieved her PhD at Harvard University in 1963. The title of her PhD thesis is “Inverses of Phrase Structure Generators”.

She continued to work at Harvard at the Division of Engineering and Applied Physics, until she moved to the UCLA, where she has been professor since 1970.

Other than the Greibach normal form, she is also known for Greibach’s theorem, stating that certain properties of formal language classes are undecidable.

More information on Sheila Greibach can be found at wikipedia.

Advertisements
This entry was posted in Feminism, Role Models. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s