Hi, my name is

Katherine.

I care about Computer Science Theory Education.

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

About Me

Hi! I’m Katherine. I’m a PhD student at UIUC studying Computer Science Education, but my path here has been a bit winding. I originally studied biology, but a required CS course showed me where my interests truly lay. Since then, I’ve explored bioinformatics research and formal methods research until finding my way back to my truest joy: teaching. I enjoy research ways to improve student experiences in theory classrooms. Most importantly, I love working with students, encouraging them, and helping them feel comfortable as they tackle challenging concepts.

This semester, I’m a TA for algorithms and also help run a TA training seminar. Over the summer, I taught 8th grade girls at a CS+X summer camp, experimenting with ways to make computer science exciting and showing how it applies to all sorts of careers and interests. My teaching philosophy comes from my first CS class. When I struggled to understand the material, I realized how much a patient explanation and encouragement can make a difference. I also draw inspiration from Bell Hooks’ Teaching to Transgress and the ideas behind compassionate pedagogy. I continue to learn and stay informed so that I can meet my teaching goal with all students: making sure everyone feels they can get something out of the lesson and that they belong.

In my research, I focus on student experience. I study how students learn, where they get stuck, and how instructional practices can make learning more equitable and engaging. Right now, I’m building a tool to generate personalized problems, and separately, I’m investigating potential barriers to learning in algorithms. In the past, I’ve explored student motivation and why formal methods sometimes fail to spark excitement.

Beyond the classroom and lab, I love giving back to my community. I’ve run outreach programs introducing younger students to computing and helping with scholarship applications. I also enjoy spending time outdoors and frequently volunteer with my local parks department, which hosts free community events. When I’m inside, you’ll probably find me at the public library hunting for new books or cuddled up with my cat Tashi, reading them. I have also enjoyed working as an election judge for both local and federal elections.

Experience

Instructor, CS+X Summer Camp - IMSA
June 2025

Illinois Math and Science Academy

  • Worked with 20 students for a 40-hour week teaching Python and various CS+X topics
  • Facilitated discussions and created a responsive curriculum to match students’ needs and interests
Ph.D. Student Researcher - NASA
May 2023 - Aug 2023

NASA Langley Mentor: Alwyn Goodloe, Ph.D.

  • Implemented probabilistic monitoring in Copilot
  • Developed examples for Copilot monitoring
Ph.D. Student Researcher - Air Force Research
May 2022 - Aug 2022

Air Force Research Laboratory

Wright-Patterson AFB Mentor: Kerrianne Hobbs, Ph.D.

  • Synthesized a reinforcement learning controller for the Inspection Problem
  • Integrated runtime assurance into a RL controller
Backend Developer: Systems - IBM
Jan 2021 - Aug 2021
  • Developed software in proprietary language for IBMi
  • Implemented new data type support for a database
Platform Software Engineering Co-op - Raytheon
Jan 2019 - Jul 2019

Collins Aerospace (of Raytheon Technologies)

  • Developed platform level software for touch screen hardware in C
  • Created and maintained nightly continuous integration testing using Atlassian tools and Tcl scripting
Software Development Intern - Workiva
May 2018 - Dec 2018
  • Developed microservices in Java on an Agile team
  • Maintained existing programs and implemented new features
NSF REU Researcher - CMU
May 2020 - Sept 2020

Carnegie Mellon University, Software Engineering Institute

Mentor: Eunsuk Kang, Ph.D.

  • Utilized formal methods to reason about erroneous human behavior in medical devices
  • Developed a tool to generate erroneous behavior through phenotypical errors
  • Formally defined high order phenotype errors through regular expressions
NSF Bioinformatics REU Researcher - Auburn
May 2017 - July 2017

Auburn University, Department of Weed and Soil Sciences

Mentor: Scott McElroy, Ph.D.

  • Analyzed Euphorbia maculata genome utilizing Biopython and Unix scripting in an HPC cluster
  • Extracted DNA from field samples of Euphorbia plants
QuarkNet Student Researcher - CERN

University of Iowa, Department of Physics / CERN

  • Developed a scintillating plate material for potential use in the CERN particle collider
  • Set up muon telescopes for data collection

Education

1
2021 - present
PhD in Compter Science
University of Illinois Urbana-Champaign

Reserach area: Computers and Education

Disseration Topic: Motivating Students in CS Theory Classes

2
2021 - 2024
Master of Science in Computer Science
University of Illinois Urbana-Champaign
GPA: 4.0 out of 4.0
Masters Thesis: “On multi-agent hybrid system verification: Modeling in verse, star sets, and user studies”
3
2016 - 2020
Bachelor of Science in Computer Science
Iowa State University
GPA: 4.0 out of 4.0

Minor: Biology

During my undergraduate years, I worked on Bioinformatics research. Under Professor David Fernandz-Baca, I contributed to the paper “Checking Phylogenetics Decisiveness in Theory and in Practice.” My contribution included formulating an ILP version of a hypergraph coloring problem, programming both the SAT and ILP problem formulations and developing data reduction strategies.

At Iowa State, I also developed a passion for teaching. There, I TA’ed for an advanced C programming class, guiding students through a semester long project. For three semesters, I was a TA for Introduction to the Design and Analysis of Algorithms. In this role, I taught a weekly discussion section, held office hours, and graded student work. These experiences were the most enjoyable of my time in college and led me to apply for a PhD.

Contact

Contact me at : braught2 [at] illinois.edu