University of Washington / University of Southern California / Stanford University / /
IndustryTerm
formal mathematical infrastructure / natural language processing / speech-to-text technology / language processing / highperformance computing / be implemented using the formal mathematical infrastructure / /
Organization
University of Washington / Narayanan Agency / Department of Defense / office of Naval Research Dates / University of Southern California / Stanford University / Stanford / /