I am a computer Science student and I am currently specializing in formal methods and model checking. In my free time I like to play around with code, I have worked on Android apps and a django website.
Q&A for professional and enthusiast programmers
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for meta-discussion of the Stack Exchange family of Q&A websites