Hello, World!

My name is Eason Kamander.

• I am a computer scientist, currently making some database-oriented tools to help understand public health data regarding vector-borne diseases, on behalf of Flyttr (formerly Oxitec). Take a look at my Resume.
• I'm also working on creating a new programming language. I like to think about type systems for the pure lambda calculus, and I'm hoping to use this kind of simple, mathematical framework to create a flexible, cohesive language. At university, I wrote a type checker and a research paper, and then a more complicated type checker and a simpler research paper. I'm currently working on a third type checker, but I would still say this project is in the very early stages of development.