So, that doesn't have to be a startup, right?
Why not ask around for other kids interested in games (for various reasons, that's like the best place to learn programming)? Why limit yourself only to fellow students--get online and ask around on indie development forums?