-
different communication channels (speech, gesture, gaze, prosody, etc.) work together, and developing AI methods to model these signals. Below are a few example research directions that applicants can
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions