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 currently recruiting a postdoc in computational approaches to natural language syntax and semantics. Check out the job ad for details!


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. If you’re interested in joining FACTS.lab or collaborating with its members, you can send an email to