I apply modern research in programming languages, static analysis, and software engineering to create practical software development tools. I studied Mathematics and Computer Science at Carnegie Mellon University.
Q&A for students, researchers and practitioners of computer science
Q&A for professional and enthusiast programmers
Q&A for theoretical computer scientists and researchers in related fields
Q&A for people studying math at any level and professionals in related fields
Q&A for people interested in statistics, machine learning, data analysis, data mining, and data visualization
Q&A for power users of Apple hardware and software
Q&A for professional programmers interested in conceptual questions about software development