I am a computer science student, currently working in the research group on Software Engineering using Formal Methods at Chalmers University of Technology.
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for people studying math at any level and professionals in related fields
Q&A for professional system and network administrators
Q&A for professional mathematicians
Q&A for computer enthusiasts and power users