Henry Kautz's Research Projects

Machine Learning in Healthcare

An open platform for collecting and analyzing people's online behavior.

Mental Health Evaluation using Web data

Locating sources of food-borne illness.

Extracting health signals from geotagged Twitter data

AI and Pervasive Computing systems for prompting, reminding, and wayfinding

Understanding human mobility at global scale

Location-based Activity Tracking and Event recognition

Modeling humor and hate speech in online media

Grounded language learning by aligning text and video

Theory and Applications of Statistical Relational Learning

A Tool for SAT Encoding

Tool for generating solutions to Sokoban planning problems

Weighted model counting

Randomized local search for satisfiability testing

Solving hard planning problems by translation to Boolean satisfiability

Back to my home page.