Colin McDonald

University of Notre Dame
Class of 2023
Bachelor of Arts in Computer Science and Philosophy
Natural Language Processing Group

My broad research interests include programming languages, type theory, quantum computing, NLP, and formal logic. I'm particularly fascinated by dependent type systems, linear type systems, and characterizing effects in functional programming languages. I'm currently applying to PhD programs in computer science!

You can check out what I've been up to recently on my GitHub page.

Publications

[Preprint] David Chiang, Colin McDonald, Chung-chieh Shan. Exact Recursive Probabilistic Computing. In submission. 2022. PDF
Colin McDonald and David Chiang. Syntax-based attention masking for neural machine translation. In Proc. NAACL Student Research Workshop. 2021. PDF
Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald. Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille. In Proc. of the ACM on Programming Languages. 2020. PDF
Christopher Jenkins, Colin McDonald, Aaron Stump. Elaborating Inductive Definitions and Course-of-Values Induction in Cedille. Preprint. 2019. PDF

TA Experience