Research interests
- algorithmic information theory
- algorithmic trading
- Bootstrapping compiler/interpreter
- combinatorial algorithms
- cs education
- embedded scripting language
- game ai
- Intelligent tutoring system
- memory allocation
- memory management
- parsing
- partial evaluation
- Procedural content generation
- Programming languages
- software verification
- Tools for thought