My research aims to bring to life a new generation of highly adaptable and intelligent programming systems.
My approach is to start from the first principles of type theory, probability theory and information theory. I then apply disciplined qualitative and empirical methods as I scale up, validate and iterate on my designs.
I am particularly interested in improving the scientific programming experience, in part because I was a computational neurobiologist in a past life (i.e. from 2006 to 2010.)