SNAP Lab: Social Networks, AI, and Public Health

Prof. Henry Kautz

Robin & Tim Wentworth Director

Goergen Institute for Data Science

University of Rochester

Group meeting: Friday 2:30-3:30pm CSB 602

 


Social Media and Health

Social media analytics for improving public health.

 

 


align

Vision+Language

Grounded language learning by aligning text and video.


ram

RAM

Reading ancient manuscripts.

Coming Soon


sat

Principles of Efficient Inference

Lifted Symmetry Breaking

Speeding inference for logical and probabilistic reasoning by leveraging problem symmetries.

Cachet

Weighted model counting.

Walksat

Randomized local search for satisfiability testing.

SATPLAN

Solving hard planning problems by translation to Boolean satisfiability.


Past Research Projects

Back to my home page.