ABOUT
Welcome to my website! I'm a software engineer with 3+ years of experience in building and designing large-scale enterprise applications.
My most recent work has focused on API development, database/systems design, research and migrations to the latest cloud infrastucture technologies, and orchestrating asynchronous
architectures, but I actively seek out a broad range of technical challenges and ideas.
I graduated from Macalester College with majors in Computer Science, Mathematics,
and Philosophy, where I studied anything from
second-order epistemology (e.g. how do we know that we know what we know?) to Galois theory to optimizing AI algorithms.
As for research, my main interests are in leveraging ideas and tools from theoretical mathematical and computer science domains to
enable progress or unlock solutions to computationally challenging problems. An extension of this is my interest in complexity theory, namely understanding and proving when these solutions are (or are not) intrinsically NP-hard.
This ranges from building a context-free grammar for arithmetic to
provide encodings of arithmetic sentences used in Godel's incompleteness theorems to using techniques from topology to
provide new ways of analyzing high dimensional datasets found in Natural Language Processing problems.