My group works primarily on (A) domain-specific languages that generate explanations alongside computed values and (B) languages and approaches for teaching CS. Our CS education work is based on employing stories and tabletop games to introduce CS concepts while delaying coding.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.