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