Dhiraj Holden

Graduate Student, MIT
Visiting Graduate Student
Dates of Visit: Mar. 30May 15, 2020

Dhiraj Holden is a graduate student studying theoretical computer science, specifically, aspects relating to computational complexity. His prior work has examined the properties of different models of computation, which included oracle circuits, correlated instances, and pseudo-determinism. Currently, Dhiraj is studying proofs of proximity and program checking.

Program Visits