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(Apr 21, 2015) Giving a CS colloquium at UNM: The role of symmetry (or the lack thereof) in algorithms and computational complexity. I'll be at UNM all day that day, so email me if you want to meet!
(Sep 29, 2014) New paper posted: A framework for optimal high-level descriptions in science and engineering—preliminary report (joint w/ David H. Wolpert, Eric Libby, and Simon DeDeo). Particularly because this draft is a (very) preliminary report, we are circulating and soliciting comments and suggestions. Any and all are very welcome. (My first science paper outside of TCS!)
(Sep, 2014) Welcome to the world, little CFG!
(Jun 25, 2014) Circuit complexity, proof complexity, and polynomial identity testing accepted to FOCS 2014.
(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!