An amateur is someone who knows the correct way to do something.
A master is someone who knows all the wrong ways.
~ anonymous

I am a mathematician, an educator, and a programmer. I formerly worked as a software developer doing web development. I am currently on sabbatical teaching mathematics.

I am a proponent of functional programming. I am interested in dependent types as well as type theory as a foundation in mathematics.

I remember a day in elementary school when I looked down at my calculator and thought to myself, "I already know how to plus, minus, times, and divide. All I need to learn now is x^y, sin, cos, tan, and √ and I'll know all of mathematics." I later learned I was mistaken.