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.