Hazel Torek

About

I’m a third-year honors student in computer science and math at Clemson University, currently affiliated with DevLab@Clemson under Dr. Paige Rodeghero and Dr. Jonathan Aldrich’s research group at Carnegie Mellon University.

I also co-direct CUhackit, the student organization hosting Clemson’s annual hackathons.

News

• October 2025: I presented Unfolding Expressions for Gradual Verification at IWACO 2025.
• February 2025: I have been admitted to the REUSE program, where I’ll be working with Dr. Jonathan Aldrich on a project related to formal methods.

Research

I’m interested in making it easier for developers to build safe software using techniques from programming languages, software engineering, and human-computer interaction.

During the summer of 2025, I participated in the REUSE program at Carnegie Mellon University where I worked with Long Nguyen and Dr. Jonathan Aldrich to extend gradual verification.

Teaching

• Spring 2026: Head TA for CPSC 1070: Programming Methodology with Prof. Cathy Kittelstad.
• Fall 2025: Head TA for CPSC 1070: Programming Methodology with Prof. Cathy Kittelstad.
• Spring 2025: Head TA for CPSC 1070: Programming Methodology with Dr. Chris Plaue.
• Fall 2024: TA for CPSC 1070: Programming Methodology with Dr. Chris Plaue.
• Spring 2024: TA for CPSC 1070: Programming Methodology with Dr. Alex Adkins.

Powered by Jekyll and Minimal Light theme.