I have the chance to do an independent study on CS this semester, and I'm here for suggestions. Since it's only high school, and the teacher has no CS knowledge, I can get away with studying anything from learning a library and making a small project with it to working on my hobby kernel. The teacher likes me, so just about anything legitimate would be okay by her. Literally anything is an option, but I'd prefer it to be more towards theoretical CS and farther away from software engineering. I'm interested in AI, specifically, machine learning, axiomatic systems, language design, and object oriented, microkernel design.