I was a graduate student in the Logic program at Berkeley, broadly interested in categorical logic and foundations of mathematics, as well as in applications of category theory to the semantics of programming languages. I am no longer a graduate student, having run off to Google, but I do still have many of the same interests. Perhaps someday I will finish my PhD and return to academia…
Last revised on August 14, 2015 at 18:15:18. See the history of this page for a list of all contributions to it.