-
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 model checking
Enter an email to receive alerts for model-checking positions