I am an Omidyar Fellow at the interdisciplinary Santa Fe Institute; my "home discipline" is (theoretical) computer science. My research lies primarily at the intersection of theoretical computer science and mathematics—particularly algebraic geometry, representation theory, and group theory—but I am starting to branch out into more general complex systems and, thereby, more worldly pursuits such as biology, energy, and the environment (which I've been interested in for most of my career).
What's new(Jun 25, 2014) Paper accepted to FOCS 2014: Circuit complexity, proof complexity, and polynomial identity testing
(Jun 16, 2014) Paper invited to a special 2015 issue of Computational Complexity: Unifying known lower bounds via geometric complexity theory
(Jun 1, 2014) Started at the Santa Fe Institute!
(Apr 14, 2014) Posted: Circuit complexity, proof complexity, and polynomial identity testing (joint with Toniann Pitassi)
(Feb 5, 2014) One paper accepted in IMRN, and two papers accepted to CCC 2014.
(Feb 17, 2014) Nice mention of our latest group isomorphism paper on Dick Lipton's blog
(Feb 17-20, 2014) Visited IAS and Rutgers to give two talks on these two papers.
(Dec 4-6, 2013) Visited Penn State to give talks on these two papers in the Math and CS Depts., respectively.
(Sep 6, 2013) Posted Algorithms for group isomorphism via group extensions and cohomology (joint with Youming Qiao)
(Aug 13, 2013) Posted Rotor-routing and spanning trees on planar graphs (joint with Melody Chan and Thomas Church)