Ryan Williams

Ryan Williams is a Professor at MIT in the Department of Electrical Engineering and Computer Science. Ryan got a PhD from CMU under Manuel Blum. He was an Assistant Professor at Stanford, then and an Associate Professor at MIT. Ryan works in the design and analysis of efficient algorithms and computational complexity theory. He is especially interested in relationships between the existence of non-trivial algorithms and proofs of complexity lower bounds. Ryan is also interested in theoretical topics that help give scientific explanations for computational phenomena, such as the unreasonable effectiveness of SAT solvers in practice.