Nikhil Vyas

Graduate Student, Massachusetts Institute of Technology

Visiting Graduate Student

Program: Satisfiability: Theory, Practice, and Beyond

Dates of Visit: Jan. 12 – May 14, 2021

Nikhil Vyas is currently a Graduate Student at MIT, advised by Ryan Williams. His research interests are complexity theory and algorithms, specifically circuit lower bounds and SAT algorithms.

Program Visits

Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Graduate Student.