BS in math and music theory, PhD in computer science from Yale, specializing in AI and natural language processing. Taught computer science at UC Irvine. Worked at Adobe (PDF) and Google (Internationalization Engineering). Retired in San Francisco.