My background is in compiler technology. I enjoy applying techniques from the compiler domain to other domains. I also think that logic has a growing place in information and information exchange. I've open sourced a few projects, see my github page here: https://github.com/erikeidt.
Stack Overflow
Q&A for professional and enthusiast programmers
Area 51
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Programmers
Q&A for professional programmers interested in conceptual questions about software development
Mathematics
Q&A for people studying math at any level and professionals in related fields
English Language & Usage
Q&A for linguists, etymologists, and serious English language enthusiasts
Web Applications
Q&A for power users of web applications
Meta Stack Overflow
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Academia
Q&A for academics and those enrolled in higher education
Computer Science
Q&A for students, researchers and practitioners of computer science
