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