The future of work will demand fluency in both science and technology. From addressing climate change to designing ethical AI ...

Theory of computation, particularly the connections among logic, automata and computational complexity. His current research projects involve algebraic and model-theoretic approaches to circuit ...