Seminars

Mar
13
2017

Computer Science/Discrete Mathematics Seminar II

Indistinguishability obfuscation from 5-linear maps: a reduction from flying pigs to jumping pigs
Nir Bitansky
2:00pm

Indistinguishability obfuscation has turned out to be an outstanding notion with strong implications not only to cryptography, but also other areas such as complexity theory, and differential privacy. Nevertheless, our understanding of how to...

Mar
13
2017

Computer Science/Discrete Mathematics Seminar I

On the cryptographic hardness of finding a Nash equilibrium
Nir Bitansky
11:15am

The computational complexity of finding Nash Equilibria in games has received much attention over the past two decades due to its theoretical and philosophical significance. This talk will be centered around the connection between this problem and...

Mar
07
2017

Computer Science/Discrete Mathematics Seminar II

Some basic problems and results from Invariant Theory
10:30am

Invariant theory deals with properties of symmetries - actions of groups on sets of objects.It has been slower to join its sibling mathematical theories in the computer science party, but we now see it more and more in studies of computational...

Mar
06
2017

Computer Science/Discrete Mathematics Seminar I

Interactive coding with nearly optimal round and communication blowup
Yael Kalai
11:15am

The problem of constructing error-resilient interactive protocols was introduced in the seminal works of Schulman (FOCS 1992, STOC 1993). These works show how to convert any two-party interactive protocol into one that is resilient to constant...

Feb
28
2017

Computer Science/Discrete Mathematics Seminar II

Structural and computational aspects of Brascamp-Lieb inequalities
10:30am

The celebrated Brascamp-Lieb (BL) inequalities are an important mathematical tool, unifying and generalizing numerous inequalities in analysis, convex geometry and information theory, with many used in computer science. I will survey the well...

Feb
27
2017

Computer Science/Discrete Mathematics Seminar I

New insights on the (non)-hardness of circuit minimization and related problems
Eric Allender
11:15am

The Minimum Circuit Size Problem (MCSP) and a related problem (MKTP) that deals with time-bounded Kolmogorov complexity are prominent candidates for NP-intermediate status. We present new results relating the complexity of various approximation...

Feb
21
2017

Computer Science/Discrete Mathematics Seminar II

Program obfuscation: outside the black box
Omer Paneth
10:30am

This talk will survey recent progress on program obfuscation from feasibility results to applications in cryptography and complexity theory. We will also describe a simple obfuscation construction based on cryptographic multi-linear maps and give a...

Feb
14
2017

Computer Science/Discrete Mathematics Seminar II

A unified duality-based approach to Bayesian mechanism design
Matt Weinberg
10:30am

We provide a duality framework for Bayesian Mechanism Design. Specifically, we show that the dual problem to revenue maximization is a search over virtual transformations. This approach yields a unified view of several recent breakthroughs in...

Feb
13
2017

Computer Science/Discrete Mathematics Seminar I

Nearest neighbor search for general symmetric norms via embeddings into product spaces
Ilya Razenshteyn
11:30am

I will show a new efficient approximate nearest neighbor search (ANN) algorithm over an arbitrary high-dimensional *symmetric* norm. Traditionally, the ANN problem in high dimensions has been studied over the $\ell_1$ and $\ell_2$ distances with a...

Feb
07
2017

Computer Science/Discrete Mathematics Seminar II

Optimization in dynamical systems
Amir Ali Ahmadi
10:30am

In recent years, there has been a surge of exciting research activity at the interface of optimization (in particular polynomial, semidefinite, and sum of squares optimization) and the theory of dynamical systems. In this talk, we focus on two...