The Formal And CompuTational Semantics lab (FACTS.lab) at the University of Rochester investigates natural language semantics by combining logical and algebraic approaches to meaning with current developments in artificial intelligence and machine learning.


FACTS.lab is located in Wegmans Hall (Room 4107) at the University of Rochester, which also houses the Goergen Institute for Data Science and the Department of Computer Science.


You can follow the latest FACTS.lab news on twitter at @factsemlab. All code and data FACTS.lab produces can be found on github. If you’re interested in joining FACTS.lab or collaborating with its members, you can send an email to