My name is Daniel Murfet, I am a Lecturer (aka tenure-track Assistant Professor) in the Mathematics Department at the University of Melbourne. My CV is here and you can contact me by email or find me on Twitter. My papers are on the arXiv with the exception of my PhD thesis which you can find here. My primary research interests are in algebraic geometry, category theory and mathematical logic. You can see some of the things I like to think about in my Spring 2013 article in Emissary on matrix factorisations and my survey of linear logic. I currently run two seminars: one on the Curry-Howard correspondence and another on topological field theory. I have various code projects on GitHub including my joint project with Nils Carqueville on computing with matrix factorisations, and my joint project with Huiyi Hu on linear logic and deep learning.
The title of this webpage refers to the following quote from Grothendieck, which I learned from Colin McLarty’s article “The Rising Sea: Grothendieck on Simplicity and Generality”
A different image came to me a few weeks ago. The unknown thing to be known appeared to me as some stretch of earth or hard marl, resisting penetration … the sea advances insensibly in silence, nothing seems to happen, nothing moves, the water is so far off you hardly hear it … yet it finally surrounds the resistant substance.