Katherine.

I care about Computer Science Theory Education.

I am a CS education researcher, with a background in formal methods. I am interesting in how students learn theory and how we can broaden participation in high level courses. I am also interested in student motivation to pursue formal methods.