sushmaakoju Goto Github PK
Name: Sushma Akoju
Type: User
Company: University of Arizona
Bio: Interested in research towards automata, grammars, first/higher-order logic, proofs in Language after learning on these topics as a hobby since middle school.
Location: virtual (views my own)