Artificial Intelligence

Jingwei Huang

Dr. Huang's research in ITI focuses on (1) formal theories of trust, including the formal semantics of trust, measurement of uncertainty in trust, logics of trust, calculus of trust, trust evolution, and trust mechanisms; and (2) applications of formal trust models in distributed computing and open networks, such as trust in identity management and trust in social networks.

Steven M. LaValle

Prof. LaValle is interested primarily in the design of planning algorithms. His focus is mainly on problems that involve continuous spaces, complicated geometric constraints, differential constraints, and/or sensing uncertainties.

Dan Roth

Prof. Roth has published broadly in machine learning, natural language processing, knowledge representation and reasoning. He has developed several machine-learning-based systems that have been used and licensed widely, including an award-winning semantic parser. He has presented invited talks at several international conferences.