Curriculum Vitae

Email: ctorek@clemson.edu
ORCID: 0009-0009-8274-9819

Education

Clemson University, Clemson, SC, USA
B.S. in Computer Science and Mathematical Sciences with Honors, August 2023 – May 2027
Thesis: Quantified Specifications for Gradual Verification
Advisors: Dr. Paige Rodeghero and Dr. Jonathan Aldrich

Publications

Unfolding Expressions for Gradual Verification. Hazel Torek, Long Tien Nguyen, Jonathan Aldrich. IWACO 2025. Slides Video.

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.

Activities

CUhackit, Clemson University, Clemson, SC, USA
Co-director, May 2025 – Present
Leading a team of organizers to plan the largest hackathon in South Carolina, expanding our lineup of annual events, and reaching peak numbers of participants.

CUhackit, Clemson University, Clemson, SC, USA
Organizer, September 2024 – Present
Working alongside other organizers to help plan and run the largest hackathon in South Carolina, focusing on hacker experience and logistics.

oSTEM at Clemson University, Clemson University, Clemson, SC, USA
Vice President, September 2024 – Present
Organizing events for LGBTQ+ students in STEM fields at Clemson.

Clemson University ACM Student Chapter, Clemson University, Clemson, SC, USA
President, September 2024 – January 2026
Organizing events for 100+ members of the computing community at Clemson.

Clemson University ACM Student Chapter, Clemson University, Clemson, SC, USA
ICPC Contestant, January 2024 – November 2024
Representing Clemson University in Division 1 of the International Collegiate Programming Competition.

Scholarships and Awards

Brawley Sophomore Award, Clemson University, April 2025
Awarded to outstanding sophomores in the School of Mathematical and Statistical Sciences nominated by faculty members.

Outstanding Junior Award, Clemson University, April 2025
Awarded to an outstanding junior in the School of Computing nominated by faculty members.