Probabilistic models, variational methods.

University of Sheffield. Computational pragmatics, belief modeling, lexicons, information extraction.

University of Sheffield. Natural language processing, specifically in spoken dialogue systems, machine learning in dialogue, spoken language generation, multimodal human-computer interaction, and evaluation of dialogue systems.

FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.

Model checking Erlang code through formal methods.

Researches computational modeling of auditory and speech perception in humans and machines, robustness in speech recognition, and large vocabulary speech recognition systems and their applications.