Nikhil Vyas

Graduate Student, Massachusetts Institute of Technology

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