PhD Student
ACM Transactions on Software Engineering and Methodology FLAT: Formal Languages as Types
Proceedings of the ACM on Programming Languages Automated Ambiguity Detection in Layout-Sensitive Grammars
International Conference on Software Engineering - Companion (ICSE-Companion)
Grammar-Based String Refinement Types