PhD student at Northeastern University. Interested in static analysis, compilation and semantics of programming languages.
Q&A for professional and enthusiast programmers
Joined 4 years ago, last seen 1 year ago
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Joined 3 years ago, last seen 1 year ago
Q&A for theoretical computer scientists and researchers in related fields
Joined 2 years ago, last seen 2 years ago