Hazel Torek

About

I am a third-year undergraduate honors student studying computer science and math at Clemson University, where I also co-direct CUhackit. For more information, see my CV.

News

• 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, formal verification, 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 the formalization of gradual verification to include unfolding expressions.

Teaching

• 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.