Christina D. Richards
Princeton University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Natural Language Processing Techniques, Speech Recognition and Synthesis, Logic, Reasoning, and Knowledge