You can ask me about full- or part-time employment
Living in Eugene, Oregon
I studied Mathematics and Logic in at Reed College, in Portland OR. I learned about 100 mathematical and logical languages while I was there. I have since worked as a Research Analyst studying fraud detection algorithms and then moved on to work as a web developer. I tend to use the techniques of category theory to design my programs, and abstract interpretation to verify their correctness. I like code that looks like tables. Plumbing tables together is easy, quick, and semantically solid.