Theory of computation, particularly the connections among logic, automata and computational complexity. His current research projects involve algebraic and model-theoretic approaches to circuit ...
Engage in a substantial piece of group research, culminating with the possible production of a paper, as well as a final conference-style presentation. You'll have access to the latest hardware, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results