Colloquium Details

Open Universes and Nuclear Weapons

Speaker: Stuart Russell, University of California, Berkeley

Location: Warren Weaver Hall 317

Date: April 13, 2012, 2 p.m.

Host: Ernie Davis


I will discuss a formal unification of probability theory and full (open-universe) first-order logic that allows for uncertain reasoning about unknown objects and events within a general-purpose formal language. Applications range from citation information extraction to monitoring compliance with the Comprehensive Nuclear-Test-Ban Treaty. The second half of the talk will describe the latter application in detail.

Speaker Bio:

Stuart Russell is Professor of Computer Science and Smith-Zadeh Professor in Engineering, University of California, Berkeley. He is the co-author, with Peter Norvig, of Artificial Intelligence: A Modern Approach, the standard textbook in artificial intelligence. Among other honors, he is the winner of the Computers and Thought Award (1995), and a Fellow of AAAI, of ACM, and of AAAS (American Association for the Advancement of Science).


In-person attendance only available to those with active NYU ID cards.

How to Subscribe