Mathematical logic seminar - Apr 21 2020

Time: 3:30pm - 4:30 pm

Room: https://cmu.zoom.us/j/621951121

Speaker:     Anton Bernshteyn    
CMU

Title: Descriptive combinatorics and distributed algorithms

Abstract:

Descriptive combinatorics is the study of combinatorial problems (such as graph coloring) under additional topological or measure-theoretic regularity restrictions. It turns out that there is a close relationship between descriptive combinatorics and distributed computing, IE the area of computer science concerned with problems that can be solved efficiently by a decentralized network of processors. In this talk I will outline this relationship and present a number of applications.